diff options
Diffstat (limited to 'test/mppa/simucheck.sh')
| -rwxr-xr-x | test/mppa/simucheck.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/mppa/simucheck.sh b/test/mppa/simucheck.sh index 25fb9947..48698e35 100755 --- a/test/mppa/simucheck.sh +++ b/test/mppa/simucheck.sh @@ -1,6 +1,8 @@ #!/bin/bash # Tests the execution of the binaries produced by CompCert, by simulation +cores=$(grep -c ^processor /proc/cpuinfo) + source do_test.sh -do_test check $1 +do_test check $cores |