diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/showSamples.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/showSamples.sh b/scripts/showSamples.sh index 7113585..f6eb8b2 100755 --- a/scripts/showSamples.sh +++ b/scripts/showSamples.sh @@ -23,6 +23,8 @@ dump_single_sample() { case "${sample}" in current) sample_type="l" + sample="${current_tuple}" + width="${#sample}" . .config ;; *) if [ -f "${CT_TOP_DIR}/samples/${sample}/crosstool.config" ]; then |