diff options
| author | Alasdair Armstrong | 2019-03-04 20:14:39 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-04 20:14:39 +0000 |
| commit | 15872b4c48d932a920ea6d22b69889ff32f6a446 (patch) | |
| tree | 97b2198675335848d9c6f61df010c66d706b546c /test | |
| parent | 1873768b54b1b88a19c622adc255e0e1f9ba36d0 (diff) | |
Fix aarch64_small test XML for jenkins
Rename rewrite_split_fun_constr_pats to rewrite_split_fun_ctor_pats as
constr is commonly used as an abbreviation for constraint rather than
constructor, and add a more descriptive comment.
Diffstat (limited to 'test')
| -rwxr-xr-x | test/aarch64_small/run_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/aarch64_small/run_tests.sh b/test/aarch64_small/run_tests.sh index f389b151..cc6f223e 100755 --- a/test/aarch64_small/run_tests.sh +++ b/test/aarch64_small/run_tests.sh @@ -43,6 +43,8 @@ function finish_suite { fail=0 } +printf "<testsuites>\n" >> $DIR/tests.xml + if make -B -C ../../aarch64_small SAIL="$SAILDIR/sail" then green "built aarch64_small to lem" "ok" |