From f5a0111c3e0edec499b8e0e3c1c6efe89e7ceed8 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sat, 20 Jan 2018 09:50:05 +0000
Subject: [PATCH] Fix kernel_config_fragment that was getting ignored after
 gem5 addition

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
index aea03ca..4fa83eb 100755
--- a/build
+++ b/build
@@ -76,7 +76,7 @@ BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE=\"../kernel_config_${arch}\"
 " >> "${outdir}/.config"
 else
   echo "\
-BR2_LINUX_KERNEL_CONFIG_FRAGMENT_FILES=../kernel_config_fragment
+BR2_LINUX_KERNEL_CONFIG_FRAGMENT_FILES=\"../kernel_config_fragment\"
 " >> "${outdir}/.config"
 fi
 if $x11; then