aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-tea
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-17 14:42:40 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-17 14:42:40 +0200
commit1d7e934386fdb23f4e16f056e3d419be09ec0b02 (patch)
tree544ad7de1887036c36a9fea5556d6675def4c135 /test/monniaux/bitsliced-tea
parentb973deb64041707d302bb244c6c280586629925c (diff)
downloadcompcert-kvx-1d7e934386fdb23f4e16f056e3d419be09ec0b02.tar.gz
compcert-kvx-1d7e934386fdb23f4e16f056e3d419be09ec0b02.zip
Portage réussi et complet
Diffstat (limited to 'test/monniaux/bitsliced-tea')
-rw-r--r--test/monniaux/bitsliced-tea/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/bitsliced-tea/Makefile b/test/monniaux/bitsliced-tea/Makefile
index 8c28ac37..02b35381 100644
--- a/test/monniaux/bitsliced-tea/Makefile
+++ b/test/monniaux/bitsliced-tea/Makefile
@@ -1,3 +1,3 @@
-TARGET=bstea
+TARGET=bitsliced-tea
include ../rules.mk