diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 11:31:04 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 11:31:04 +0200 |
commit | c1af49a809efe593317c2b836be115e24e7b8f18 (patch) | |
tree | fe4a549bdd4b111e842ecbc05c469398b23b8bde /test/monniaux/lustrev4_lustrec_heater_control/make.proto | |
parent | cde2827856693a98f89d21e11dca258ef6c08ce2 (diff) | |
download | compcert-kvx-c1af49a809efe593317c2b836be115e24e7b8f18.tar.gz compcert-kvx-c1af49a809efe593317c2b836be115e24e7b8f18.zip |
add arrow.h from LustreC
Diffstat (limited to 'test/monniaux/lustrev4_lustrec_heater_control/make.proto')
-rw-r--r-- | test/monniaux/lustrev4_lustrec_heater_control/make.proto | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/test/monniaux/lustrev4_lustrec_heater_control/make.proto b/test/monniaux/lustrev4_lustrec_heater_control/make.proto deleted file mode 100644 index ccb0e684..00000000 --- a/test/monniaux/lustrev4_lustrec_heater_control/make.proto +++ /dev/null @@ -1,3 +0,0 @@ -sources: "$(wildcard *.c)" -target: lustrec_heater_control -measures: [cycles] |