diff --git a/contrib/mt b/contrib/mt index bfb8f88d..ddd9a29b 100755 --- a/contrib/mt +++ b/contrib/mt @@ -76,7 +76,8 @@ if [ $# -gt 0 ]; then if [ -e $i ]; then fname=${i##*/} # build list of unique file names - if [[ ! " ${testfnames[*]} " =~ " $fname " ]]; then + if [ ${#testfnames[@]} -eq 0 ]\ + || [[ ! " ${testfnames[*]} " =~ " $fname " ]]; then testfnames+=($fname) fi fi