aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/idea/Makefile
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-17 11:52:14 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-17 11:52:14 +0200
commitc1330c1f6863d4029bfa965b4151e629d72a2217 (patch)
tree0072e5195e89c1125c73dbb0f1700a5a27127c2f /test/monniaux/idea/Makefile
parent625a93fe5ec46c7de81594b89f8cca5dd83dafc5 (diff)
downloadcompcert-kvx-c1330c1f6863d4029bfa965b4151e629d72a2217.tar.gz
compcert-kvx-c1330c1f6863d4029bfa965b4151e629d72a2217.zip
Up to ntt
Diffstat (limited to 'test/monniaux/idea/Makefile')
-rw-r--r--test/monniaux/idea/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/idea/Makefile b/test/monniaux/idea/Makefile
new file mode 100644
index 00000000..96e1999d
--- /dev/null
+++ b/test/monniaux/idea/Makefile
@@ -0,0 +1,3 @@
+TARGET=idea
+
+include ../rules.mk