1.1 --- a/config/config.mk	Sun Jul 03 23:02:16 2011 +0200
     1.2 +++ b/config/config.mk	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -6,7 +6,8 @@
     1.4  # List all config files, wether sourced or generated
     1.5  
     1.6  # The top-level config file to be used be configurators
     1.7 -KCONFIG_TOP = config/config.in
     1.8 +# We need it to savedefconfig in scripts/saveSample.sh
     1.9 +export KCONFIG_TOP = config/config.in
    1.10  
    1.11  # Build the list of all source config files
    1.12  STATIC_CONFIG_FILES = $(patsubst $(CT_LIB_DIR)/%,%,$(shell find $(CT_LIB_DIR)/config -type f \( -name '*.in' -o -name '*.in.2' \) 2>/dev/null))