diff options
| author | Alasdair Armstrong | 2018-01-29 14:32:59 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-29 14:32:59 +0000 |
| commit | 0258cb243bcd63fe81ff761c12def9f71048e3db (patch) | |
| tree | ea86535c399769bdaa5425d2b1f93a37bd50bcfc /test | |
| parent | b3bca96a2c3ec108606c1fbc6a8ec533d6c0c344 (diff) | |
| parent | 36f086ce2b3506e2a81ef77ad03f3b339b8f0518 (diff) | |
Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2
Diffstat (limited to 'test')
| -rwxr-xr-x | test/lem/run_tests.sh | 2 | ||||
| -rwxr-xr-x | test/riscv/run_tests.sh | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/test/lem/run_tests.sh b/test/lem/run_tests.sh index 5d435950..c53ec189 100755 --- a/test/lem/run_tests.sh +++ b/test/lem/run_tests.sh @@ -61,6 +61,6 @@ do fi done -finish_suite "Expecting pass" +finish_suite "LEM tests" printf "</testsuites>\n" >> $DIR/tests.xml diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh index 9f1aa007..32f6f091 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -1,4 +1,3 @@ - #!/usr/bin/env bash set -e |