# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1449696563 21600
# Node ID c7b90f8d1b809dbc9942424b1d8715cb50493e77
# Parent  1ba20659578121f16b663c8ebf59794a8bfe5f7a
Save mini.config used to build kernel into system image tarball.

diff -r 1ba206595781 -r c7b90f8d1b80 system-image.sh
--- 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