diff options
Diffstat (limited to 'test_all.sh')
-rwxr-xr-x | test_all.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test_all.sh b/test_all.sh index 6a9db22..03ff5d0 100755 --- a/test_all.sh +++ b/test_all.sh @@ -3,6 +3,7 @@ dir=testcases/*.c if [ "$#" != 0 ]; then dir=$1 fi +res=0 for file in $dir do gcc $file -o /dev/null &> /dev/null @@ -11,7 +12,9 @@ do ret=$? if [ $ret -ne $gcc_ret ]; then echo "Failed on $file" + res=1 else echo "ok $file: $ret" fi done +exit $res |