diff options
-rwxr-xr-x | test/monniaux/csmith/reduce/reduce_wrt_host.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/csmith/reduce/reduce_wrt_host.sh b/test/monniaux/csmith/reduce/reduce_wrt_host.sh index 6e01f3a0..23e4208e 100755 --- a/test/monniaux/csmith/reduce/reduce_wrt_host.sh +++ b/test/monniaux/csmith/reduce/reduce_wrt_host.sh @@ -9,7 +9,10 @@ then if $COMPCERT/ccomp $INCLUDE -fall -fno-cse -fno-cse2 -fno-cse3 source.c -o source.ccomp.target then kvx-cluster -- source.ccomp.target >& source.ccomp.target.out - cmp source.ccomp.target.out source.gcc.target.out + if cmp source.ccomp.target.out source.gcc.target.out + then exit 40 + else exit 0 + fi else exit 2 fi |