diff -r 95d470b5a6a9 -r 07a87075fa2d config/config.mk
--- a/config/config.mk	Sun Jul 03 23:02:16 2011 +0200
+++ b/config/config.mk	Thu Oct 11 14:39:45 2012 +1000
@@ -6,7 +6,8 @@
 # List all config files, wether sourced or generated
 
 # The top-level config file to be used be configurators
-KCONFIG_TOP = config/config.in
+# We need it to savedefconfig in scripts/saveSample.sh
+export KCONFIG_TOP = config/config.in
 
 # Build the list of all source config files
 STATIC_CONFIG_FILES = $(patsubst $(CT_LIB_DIR)/%,%,$(shell find $(CT_LIB_DIR)/config -type f \( -name '*.in' -o -name '*.in.2' \) 2>/dev/null))