#!/bin/bash

# Parses all samples on the command line, and for each of them, prints

# the versions of the main tools

# GREP_OPTIONS screws things up.

export GREP_OPTIONS=

# Dump a single sample

dump_single_sample() {

    local width="$1"

    local sample="$2"

    printf "  %-*s" ${width} "${sample}"

    [ -f "${CT_TOP_DIR}/samples/${sample}/broken" ] && printf "  (broken)"

    echo

}

# Get largest sample width

width=0

for sample in "${@}"; do

    [ ${#sample} -gt ${width} ] && width=${#sample}

done

for sample in "${@}"; do

    ( dump_single_sample ${width} "${sample}" )

done