diff options
Diffstat (limited to 'scripts/showSamples.sh')
| -rwxr-xr-x | scripts/showSamples.sh | 23 |
1 files changed, 15 insertions, 8 deletions
diff --git a/scripts/showSamples.sh b/scripts/showSamples.sh index 33e30816..71135854 100755 --- a/scripts/showSamples.sh +++ b/scripts/showSamples.sh @@ -20,14 +20,21 @@ dump_single_sample() { [ "$1" = "-w" ] && wiki=1 && shift local width="$1" local sample="$2" - if [ -f "${CT_TOP_DIR}/samples/${sample}/crosstool.config" ]; then - sample_top="${CT_TOP_DIR}" - sample_type="l" - else - sample_top="${CT_LIB_DIR}" - sample_type="g" - fi - . "${sample_top}/samples/${sample}/crosstool.config" + case "${sample}" in + current) + sample_type="l" + . .config + ;; + *) if [ -f "${CT_TOP_DIR}/samples/${sample}/crosstool.config" ]; then + sample_top="${CT_TOP_DIR}" + sample_type="l" + else + sample_top="${CT_LIB_DIR}" + sample_type="g" + fi + . "${sample_top}/samples/${sample}/crosstool.config" + ;; + esac if [ -z "${wiki}" ]; then t_width=13 printf "%-*s [%s" ${width} "${sample}" "${sample_type}" |