diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-23 18:06:26 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-23 18:06:26 +0100 |
commit | f17faa9e318cb6e6c75b3c22387f13e57a9828f7 (patch) | |
tree | 9bd29c4d2b7a5f2bc4a782656318c69cf67abdde /test/mppa/do_test.sh | |
parent | 0b9d1deb832dc93ce381f15f8e9774973f45e56e (diff) | |
download | compcert-kvx-f17faa9e318cb6e6c75b3c22387f13e57a9828f7.tar.gz compcert-kvx-f17faa9e318cb6e6c75b3c22387f13e57a9828f7.zip |
Interoperability tests passed (no va_arg yet)
Diffstat (limited to 'test/mppa/do_test.sh')
-rw-r--r-- | test/mppa/do_test.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/mppa/do_test.sh b/test/mppa/do_test.sh index ee7cbcf7..add87b66 100644 --- a/test/mppa/do_test.sh +++ b/test/mppa/do_test.sh @@ -30,4 +30,12 @@ cat << EOF ## EOF (cd instr && make $1 -j8) + +cat << EOF + +## +# Interoperability with GCC +## +EOF +(cd interop && make $1 -j8) } |