diff -r 0a2fa748727e -r 80151a249b85 kconfig/kconfig.mk
--- a/kconfig/kconfig.mk	Sat Jan 14 18:22:06 2012 +0100
+++ b/kconfig/kconfig.mk	Mon May 07 00:27:05 2012 +0200
@@ -10,7 +10,8 @@
 
 $(configurators): config_files
 
-CONF  := $(CT_LIB_DIR)/kconfig/conf
+# We need CONF for savedefconfig in scripts/saveSample.sh
+export CONF  := $(CT_LIB_DIR)/kconfig/conf
 MCONF := $(CT_LIB_DIR)/kconfig/mconf
 NCONF := $(CT_LIB_DIR)/kconfig/nconf