diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-25 10:31:19 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-25 10:31:50 +0100 |
commit | 834f4bacec710dd841fcdc1945210cf3fb6cef70 (patch) | |
tree | 06166feadbb16ce34a9422fcc80ec720e00cffc9 /test/mppa/hardcheck.sh | |
parent | 01a07b1c68f108df1376beaafdc3242b629634de (diff) | |
download | compcert-kvx-834f4bacec710dd841fcdc1945210cf3fb6cef70.tar.gz compcert-kvx-834f4bacec710dd841fcdc1945210cf3fb6cef70.zip |
Only one job for hardcheck.sh and hardtest.sh
Diffstat (limited to 'test/mppa/hardcheck.sh')
-rwxr-xr-x | test/mppa/hardcheck.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/hardcheck.sh b/test/mppa/hardcheck.sh index 82b63182..b6538f0e 100755 --- a/test/mppa/hardcheck.sh +++ b/test/mppa/hardcheck.sh @@ -3,4 +3,4 @@ source do_test.sh -do_test hardcheck +do_test hardcheck 1 |