#! @BASH@ failed_nb=0 success_nb=0 tests_nb=0 for test in log_usage \ dynar_int dynar_double dynar_string \ dict_usage dict_crash \ config_usage \ \ gs_example do tests_nb=`expr $tests_nb + 1` echo "#### Test $test" ./$test --gras-log="root.thres=info" 2>&1 if [ $? != 0 ] ; then echo "## failed. Rerun $test with full details." ./$test --gras-log="root.thres=debug" 2>&1 failed_nb=`expr $failed_nb + 1` failed="$failed $test" else echo "## Success" success_nb=`expr $success_nb + 1` success="$success $test" fi done failed=`echo $failed|sed 's|^ ||'` success=`echo $success|sed 's|^ ||'` echo echo "#### Summary" echo "$success_nb tests of $tests_nb successfull ($success)" if [ $failed_nb != 0 ] ; then echo "$failed_nb tests of $tests_nb failed ($failed)" echo "Rerun the tests using the following command: script -c 'make test'" echo " and send the file typescript it will produce to martin.quinson@ens-lyon.fr" echo " along with a short description of the target platform (arch, OS, distrib, compiler)." fi exit $failed_nb