Bail out if /bin/bash does not exist, or if it is not bash>=3.0.
Force make to use /bin/bash as shell.
3 # Parses all samples on the command line, and for each of them, prints
4 # the versions of the main tools
6 # GREP_OPTIONS screws things up.
10 dump_single_sample() {
13 if [ -f "${CT_TOP_DIR}/samples/${sample}/crosstool.config" ]; then
14 sample_top="${CT_TOP_DIR}"
17 sample_top="${CT_LIB_DIR}"
20 printf " %-*s (%s" ${width} "${sample}" "${sample_type}"
21 [ -f "${sample_top}/samples/${sample}/broken" ] && printf ",broken"
25 # Get largest sample width
27 for sample in "${@}"; do
28 [ ${#sample} -gt ${width} ] && width=${#sample}
31 for sample in "${@}"; do
32 ( dump_single_sample ${width} "${sample}" )