diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-19 10:00:49 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-19 10:00:49 +0200 |
commit | b2072e4497dbb109d391e89e20c89b87450cf728 (patch) | |
tree | e560c746a22612b2012e69014a7a1fb866d383ae /test | |
parent | a4c242f24d02bc69853b21071bc34beff8f31d3b (diff) | |
download | compcert-kvx-b2072e4497dbb109d391e89e20c89b87450cf728.tar.gz compcert-kvx-b2072e4497dbb109d391e89e20c89b87450cf728.zip |
fix script to answer 0 if differences
Diffstat (limited to 'test')
-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 |