diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 11:52:14 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 11:52:14 +0200 |
commit | c1330c1f6863d4029bfa965b4151e629d72a2217 (patch) | |
tree | 0072e5195e89c1125c73dbb0f1700a5a27127c2f /test/monniaux/idea/Makefile | |
parent | 625a93fe5ec46c7de81594b89f8cca5dd83dafc5 (diff) | |
download | compcert-kvx-c1330c1f6863d4029bfa965b4151e629d72a2217.tar.gz compcert-kvx-c1330c1f6863d4029bfa965b4151e629d72a2217.zip |
Up to ntt
Diffstat (limited to 'test/monniaux/idea/Makefile')
-rw-r--r-- | test/monniaux/idea/Makefile | 3 |
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 |