scripts/config: fix an option processing error that caused duplication in diffconfig...
-rw-r--r-- 8 .gitattributes
-rw-r--r-- 204 .gitignore
-rw-r--r-- 179 BSDmakefile
-rw-r--r-- 17746 Config.in
-rw-r--r-- 17992 LICENSE
-rw-r--r-- 3251 Makefile
-rw-r--r-- 1259 README
drwxr-xr-x - docs
-rw-r--r-- 665 feeds.conf.default
drwxr-xr-x - include
drwxr-xr-x - package
-rw-r--r-- 10562 rules.mk
drwxr-xr-x - scripts
drwxr-xr-x - target
drwxr-xr-x - toolchain
drwxr-xr-x - tools