mas01cr@38: #! /bin/sh
mas01cr@38: 
mas01cr@38: for file in [0-9][0-9][0-9][0-9]*; do
mas01cr@38:   if [ -d ${file} ]; then
mas01cr@38:     if [ -f ${file}/run-test.sh ]; then
mas01cr@38:       cd ${file} && sh ./run-test.sh > test.out 2> test.err
mas01cr@38:       EXIT_STATUS=$?
mas01cr@38:       if [ ${EXIT_STATUS} -ne 104 ]; then
mas01cr@38:         echo Test ${file} failed: exit status ${EXIT_STATUS}
mas01cr@38:       fi
mas01cr@38:     else
mas01cr@38:       echo Skipping test ${file}
mas01cr@38:     fi
mas01cr@38:   fi
mas01cr@38: done