diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-25 22:27:48 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-25 22:27:48 +0200 |
commit | ea70d7a4ef0e4fbf7b19378c4bfdf6a451ddf025 (patch) | |
tree | 7a953982a44f887f018fdfd3cb406369fc3609b2 /test/monniaux/picosat-965 | |
parent | dd28826f0b9e69d6380e4741f409115489c1de38 (diff) | |
download | compcert-kvx-ea70d7a4ef0e4fbf7b19378c4bfdf6a451ddf025.tar.gz compcert-kvx-ea70d7a4ef0e4fbf7b19378c4bfdf6a451ddf025.zip |
silly bug
Diffstat (limited to 'test/monniaux/picosat-965')
-rwxr-xr-x | test/monniaux/picosat-965/onefile/testcmp.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/onefile/testcmp.sh b/test/monniaux/picosat-965/onefile/testcmp.sh index 74a92cd7..2228c675 100755 --- a/test/monniaux/picosat-965/onefile/testcmp.sh +++ b/test/monniaux/picosat-965/onefile/testcmp.sh @@ -12,7 +12,7 @@ HOSTCC5="clang -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitiz CFILES="picosat.c" SIMU="kvx-cluster --timeout=100000 -- " -if ! $HOSTCC1 $CFILES -o picosat.cc0.host ; +if ! $HOSTCC0 $CFILES -o picosat.cc0.host ; then exit 30 ; fi |