aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/binary_search
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-05-14 18:01:28 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-05-14 18:01:28 +0200
commit76abb605749d1b8ddcc842cecb258fa755d63ccf (patch)
treee636a781c4b2b49b346013dec887abeb1badedd0 /test/monniaux/binary_search
parent13ea0149e1994c5489d9aed00e7486e49d687889 (diff)
downloadcompcert-kvx-76abb605749d1b8ddcc842cecb258fa755d63ccf.tar.gz
compcert-kvx-76abb605749d1b8ddcc842cecb258fa755d63ccf.zip
Avancement sur la génération de Makefile des benchmarks
Diffstat (limited to 'test/monniaux/binary_search')
-rw-r--r--test/monniaux/binary_search/make.proto2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/binary_search/make.proto b/test/monniaux/binary_search/make.proto
index 19501e78..69f04092 100644
--- a/test/monniaux/binary_search/make.proto
+++ b/test/monniaux/binary_search/make.proto
@@ -1 +1 @@
-binary_search
+target: binary_search