changeset 1827:c7b90f8d1b80

Save mini.config used to build kernel into system image tarball.
author Rob Landley <rob@landley.net>
date Wed, 09 Dec 2015 15:29:23 -0600
parents 1ba206595781
children 297a5d07c73b
files system-image.sh
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/system-image.sh	Wed Dec 09 15:28:51 2015 -0600
+++ b/system-image.sh	Wed Dec 09 15:29:23 2015 -0600
@@ -107,12 +107,14 @@
   $(package_cache linux)
 then
   setupfor linux
-  getconfig linux > mini.conf
+  echo "# make allnoconfig ARCH=${BOOT_KARCH:-$KARCH} KCONFIG_ALLCONFIG=mini.config" \
+    > $STAGE_DIR/mini.config
+  getconfig linux >> "$STAGE_DIR"/mini.config
   [ "$SYSIMAGE_TYPE" == rootfs ] &&
     echo -e "CONFIG_INITRAMFS_SOURCE=\"$STAGE_DIR/rootfs.cpio.gz\"\n" \
-      >> mini.conf
-  make ARCH=${BOOT_KARCH:-$KARCH} $LINUX_FLAGS KCONFIG_ALLCONFIG=mini.conf \
-    allnoconfig >/dev/null &&
+      >> "$STAGE_DIR"/mini.config
+  make allnoconfig ARCH=${BOOT_KARCH:-$KARCH} $LINUX_FLAGS \
+    KCONFIG_ALLCONFIG="$STAGE_DIR"/mini.config >/dev/null &&
   make -j $CPUS ARCH=${BOOT_KARCH:-$KARCH} $DO_CROSS $LINUX_FLAGS $VERBOSITY &&
   cp "$KERNEL_PATH" "$STAGE_DIR/linux"
   cleanup