changeset 2537 | 95d470b5a6a9 |
parent 2409 | 15f5f431ec9e |
child 2564 | 5d4e91c0343e |
1.1 --- a/scripts/showSamples.sh Sun Apr 24 16:14:41 2011 +0200 1.2 +++ b/scripts/showSamples.sh Sun Jul 03 23:02:16 2011 +0200 1.3 @@ -14,6 +14,7 @@ 1.4 export GREP_OPTIONS= 1.5 1.6 # Dump a single sample 1.7 +# Note: we can quite safely used the non-mangled .config.2 1.8 dump_single_sample() { 1.9 local verbose=0 1.10 local complibs