scripts/showSamples.sh
changeset 2468 90595d1c1017
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	Thu May 19 22:29:49 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