yann@74: #!/bin/bash
yann@74: 
yann@74: # Parses all samples on the command line, and for each of them, prints
yann@74: # the versions of the main tools
yann@74: 
yann@74: # GREP_OPTIONS screws things up.
yann@74: export GREP_OPTIONS=
yann@74: 
yann@74: # Dump a single sample
yann@74: dump_single_sample() {
yann@74:     local width="$1"
yann@74:     local sample="$2"
yann@182:     if [ -f "${CT_TOP_DIR}/samples/${sample}/crosstool.config" ]; then
yann@182:         sample_top="${CT_TOP_DIR}"
yann@182:         sample_type="local"
yann@182:     else
yann@182:         sample_top="${CT_LIB_DIR}"
yann@182:         sample_type="global"
yann@182:     fi
yann@182:     printf "  %-*s  (%s" ${width} "${sample}" "${sample_type}"
yann@182:     [ -f "${sample_top}/samples/${sample}/broken" ] && printf ",broken"
yann@182:     echo ")"
yann@74: }
yann@74: 
yann@74: # Get largest sample width
yann@74: width=0
yann@74: for sample in "${@}"; do
yann@74:     [ ${#sample} -gt ${width} ] && width=${#sample}
yann@74: done
yann@74: 
yann@74: for sample in "${@}"; do
yann@74:     ( dump_single_sample ${width} "${sample}" )
yann@74: done