diff options
author | Teddy <[email protected]> | 2014-04-12 22:24:35 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2014-04-12 22:24:35 +0800 |
commit | bbce3104de593c90b10778a379728f982bc3fdcb (patch) | |
tree | a7dc481f72b14dc454c60b3384d1ba11b3fdefc8 /test_all.sh | |
parent | 85d862310c2e00361f68c317c6256b29f18eae36 (diff) |
typedef now works
Diffstat (limited to 'test_all.sh')
-rwxr-xr-x | test_all.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test_all.sh b/test_all.sh index fcf757c..6a9db22 100755 --- a/test_all.sh +++ b/test_all.sh @@ -8,9 +8,10 @@ do gcc $file -o /dev/null &> /dev/null gcc_ret="$?" ./cibic $file &> /dev/null - if [ $? -ne $gcc_ret ]; then + ret=$? + if [ $ret -ne $gcc_ret ]; then echo "Failed on $file" else - echo "ok $file" + echo "ok $file: $ret" fi done |