diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-28 14:24:18 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-28 14:24:18 +0100 |
commit | 0ea925ecc01d3da88c1c2b8cb03b318af2720a92 (patch) | |
tree | 121b854bf9e5a129a6e0eace06bd461274a3ae75 /test/mppa/check.sh | |
parent | 5568558f61a13754cc9f80d5e9641c6e9e9bc742 (diff) | |
download | compcert-kvx-0ea925ecc01d3da88c1c2b8cb03b318af2720a92.tar.gz compcert-kvx-0ea925ecc01d3da88c1c2b8cb03b318af2720a92.zip |
Added a jobs parameter to the test scripts
Diffstat (limited to 'test/mppa/check.sh')
-rwxr-xr-x | test/mppa/check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/check.sh b/test/mppa/check.sh index 8db50f1b..f25c3e31 100755 --- a/test/mppa/check.sh +++ b/test/mppa/check.sh @@ -3,4 +3,4 @@ source do_test.sh -do_test check +do_test check $1 |