aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/heptagon_radio_transmitter
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-17 12:03:39 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-17 12:03:39 +0200
commitb288b587378984c3c419d26a13dcf93686d1b779 (patch)
tree623679ad5dd5325f4d0d11d2d85d43a638d9ad33 /test/monniaux/heptagon_radio_transmitter
parentc1330c1f6863d4029bfa965b4151e629d72a2217 (diff)
downloadcompcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.tar.gz
compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.zip
All working benches ported
Diffstat (limited to 'test/monniaux/heptagon_radio_transmitter')
-rw-r--r--test/monniaux/heptagon_radio_transmitter/Makefile3
-rw-r--r--test/monniaux/heptagon_radio_transmitter/make.proto3
2 files changed, 3 insertions, 3 deletions
diff --git a/test/monniaux/heptagon_radio_transmitter/Makefile b/test/monniaux/heptagon_radio_transmitter/Makefile
new file mode 100644
index 00000000..75420a10
--- /dev/null
+++ b/test/monniaux/heptagon_radio_transmitter/Makefile
@@ -0,0 +1,3 @@
+TARGET=radiotrans
+
+include ../rules.mk
diff --git a/test/monniaux/heptagon_radio_transmitter/make.proto b/test/monniaux/heptagon_radio_transmitter/make.proto
deleted file mode 100644
index 40de14dc..00000000
--- a/test/monniaux/heptagon_radio_transmitter/make.proto
+++ /dev/null
@@ -1,3 +0,0 @@
-sources: "$(wildcard *.c)"
-target: radiotrans
-measures: [cycles]