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 | |
| parent | 625a93fe5ec46c7de81594b89f8cca5dd83dafc5 (diff) | |
| download | compcert-kvx-c1330c1f6863d4029bfa965b4151e629d72a2217.tar.gz compcert-kvx-c1330c1f6863d4029bfa965b4151e629d72a2217.zip | |
Up to ntt
Diffstat (limited to 'test/monniaux/idea')
| -rw-r--r-- | test/monniaux/idea/Makefile | 3 | ||||
| -rw-r--r-- | test/monniaux/idea/make.proto | 2 |
2 files changed, 3 insertions, 2 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 diff --git a/test/monniaux/idea/make.proto b/test/monniaux/idea/make.proto deleted file mode 100644 index 0e147514..00000000 --- a/test/monniaux/idea/make.proto +++ /dev/null @@ -1,2 +0,0 @@ -target: idea -measures: [cycles] |