diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 11:49:03 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 11:49:03 +0100 |
| commit | e6b57a54a4449e0c6239ef56984b1ecbf2b3c792 (patch) | |
| tree | c3480bccd38d2fbff0a69d9561e279e291eb3b32 /test/monniaux/mbedtls | |
| parent | 75ca8b4dcb1dbc75feccd2b53ebf5acdee51f3d3 (diff) | |
| download | compcert-kvx-e6b57a54a4449e0c6239ef56984b1ecbf2b3c792.tar.gz compcert-kvx-e6b57a54a4449e0c6239ef56984b1ecbf2b3c792.zip | |
better patch for running the test suite
Diffstat (limited to 'test/monniaux/mbedtls')
| -rw-r--r-- | test/monniaux/mbedtls/mbedtls_Kalray.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/monniaux/mbedtls/mbedtls_Kalray.patch b/test/monniaux/mbedtls/mbedtls_Kalray.patch index e35fb68f..594ee7fa 100644 --- a/test/monniaux/mbedtls/mbedtls_Kalray.patch +++ b/test/monniaux/mbedtls/mbedtls_Kalray.patch @@ -55,3 +55,16 @@ index 1255ff4be..103abe9a8 100644 #endif /* Type for Hex parameters */ +diff --git a/tests/scripts/run-test-suites.pl b/tests/scripts/run-test-suites.pl +index d0d4046..00cff26 100755 +--- a/tests/scripts/run-test-suites.pl ++++ b/tests/scripts/run-test-suites.pl +@@ -59,7 +59,7 @@ for my $suite (@suites) + if( $verbose ) { + $command .= ' -v'; + } +- my $result = `$command`; ++ my $result = `k1-cluster -- $command`; + + $suite_cases_passed = () = $result =~ /.. PASS/g; + $suite_cases_failed = () = $result =~ /.. FAILED/g; |