From 6594b2af9ca519c20ef2b6cd95868445a2157ffc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A9ter?= <peter@perenyi.net>
Date: Thu, 11 May 2023 15:57:08 +1000
Subject: [PATCH] Use config.sed to patch .config (instead of hardcoding)

---
 make_image.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/make_image.sh b/make_image.sh
index e26699c..73c462b 100755
--- a/make_image.sh
+++ b/make_image.sh
@@ -17,10 +17,7 @@ if [[ "$DEBUG" == "1" ]]; then
   echo ====== end ======
 fi
 
-# TODO this should be driven by config and hardcoded here
-sed \
-  -e '/^CONFIG_TARGET_ROOTFS_EXT4FS/ s/^#*/#/' \
-  -i .config
+sed -f config.sed -i .config
   
 make image \
   FILES="$FILES" \