diff options
Diffstat (limited to 'test/mppa/simucheck.sh')
-rwxr-xr-x | test/mppa/simucheck.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/test/mppa/simucheck.sh b/test/mppa/simucheck.sh deleted file mode 100755 index 48698e35..00000000 --- a/test/mppa/simucheck.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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 $cores |