diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 11:25:29 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 11:25:29 +0200 |
commit | d7998266416f7eb35e129c25182c67441ffa2d0a (patch) | |
tree | 83938803db25672c5d355ea25a3d510c2d9d33df /test/monniaux/binary_search/make.proto | |
parent | 54e28b7f1d14292c38cd645886470c08e95e899e (diff) | |
download | compcert-kvx-d7998266416f7eb35e129c25182c67441ffa2d0a.tar.gz compcert-kvx-d7998266416f7eb35e129c25182c67441ffa2d0a.zip |
(#141) Started to port the new Makefile to rules.mk. Ported binary_search
Diffstat (limited to 'test/monniaux/binary_search/make.proto')
-rw-r--r-- | test/monniaux/binary_search/make.proto | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/monniaux/binary_search/make.proto b/test/monniaux/binary_search/make.proto deleted file mode 100644 index 337751bb..00000000 --- a/test/monniaux/binary_search/make.proto +++ /dev/null @@ -1,2 +0,0 @@ -target: binary_search -measures: ["random fill", search1] |