diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-12-07 14:45:57 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-12-07 14:45:57 +0100 |
commit | e925d4d2ed91ddd08337b6bb9ecb5064803e1981 (patch) | |
tree | dee2be4157d3e573d1a467626d8608f7e8ed60b9 /test/mppa/do_test.sh | |
parent | 13e381fae01360f25bd01cb95b470ead906748e1 (diff) | |
download | compcert-kvx-e925d4d2ed91ddd08337b6bb9ecb5064803e1981.tar.gz compcert-kvx-e925d4d2ed91ddd08337b6bb9ecb5064803e1981.zip |
Added a printf wrapper in test/mppa/lib
Diffstat (limited to 'test/mppa/do_test.sh')
-rw-r--r-- | test/mppa/do_test.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/mppa/do_test.sh b/test/mppa/do_test.sh index bb626203..5cc23dee 100644 --- a/test/mppa/do_test.sh +++ b/test/mppa/do_test.sh @@ -38,4 +38,13 @@ cat << EOF ## EOF (cd interop && make $1 -j$2) + +cat << EOF + +## +# printf wrapper test +## +(cd lib && make $1 -j$2) +EOF + } |