diff -r 15f5f431ec9e -r 3fc114996b20 scripts/showSamples.sh --- a/scripts/showSamples.sh Sun Apr 24 16:14:41 2011 +0200 +++ b/scripts/showSamples.sh Sat Jun 04 17:15:58 2011 +0200 @@ -14,6 +14,7 @@ export GREP_OPTIONS= # Dump a single sample +# Note: we can quite safely used the non-mangled .config.2 dump_single_sample() { local verbose=0 local complibs