diff options
Diffstat (limited to 'scripts/showSamples.sh')
| -rwxr-xr-x | scripts/showSamples.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/showSamples.sh b/scripts/showSamples.sh index 32986a66..d96d0c59 100755 --- a/scripts/showSamples.sh +++ b/scripts/showSamples.sh @@ -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 |