diff options
author | Teddy <ted.sybil@gmail.com> | 2014-04-27 17:53:08 +0800 |
---|---|---|
committer | Teddy <ted.sybil@gmail.com> | 2014-04-27 17:53:08 +0800 |
commit | 7a0e78225a62ce613672b05c9ce1e42ac6419b2c (patch) | |
tree | 2b5adb785267df86af32489d0d03378f1aa18d91 /test_all.sh | |
parent | 8c7c3602ac1fc2e1b382b442d3161a7151d2cec9 (diff) |
...
Diffstat (limited to 'test_all.sh')
-rwxr-xr-x | test_all.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test_all.sh b/test_all.sh index 03ff5d0..4dda78e 100755 --- a/test_all.sh +++ b/test_all.sh @@ -8,7 +8,7 @@ for file in $dir do gcc $file -o /dev/null &> /dev/null gcc_ret="$?" - ./cibic $file &> /dev/null + ./cibic --sem $file &> /dev/null ret=$? if [ $ret -ne $gcc_ret ]; then echo "Failed on $file" |