diff options
Diffstat (limited to 'scripts/create_config')
-rwxr-xr-x | scripts/create_config | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/create_config b/scripts/create_config index d727e5e36e..00e86c82b0 100755 --- a/scripts/create_config +++ b/scripts/create_config @@ -58,6 +58,8 @@ case $line in name=${line%=*} echo "#define $name 1" ;; + CONFIG_*=n) # configuration + ;; CONFIG_*=*) # configuration name=${line%=*} value=${line#*=} |