diff options
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" |