diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 14:36:32 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 14:36:32 +0200 |
commit | 83f7c0dfc0454b7b457bc55f352133fa831cc861 (patch) | |
tree | a46e80bf69ac36f9533b96340b1ad401e70932d6 /test/monniaux | |
parent | bdcd9c750cd03b3fab1c3cf00d39e5348e305ee3 (diff) | |
download | compcert-kvx-83f7c0dfc0454b7b457bc55f352133fa831cc861.tar.gz compcert-kvx-83f7c0dfc0454b7b457bc55f352133fa831cc861.zip |
Missing make.proto of lustrev4_lustrec
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/lustrev4_lustrec_heater_control/make.proto | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/lustrev4_lustrec_heater_control/make.proto b/test/monniaux/lustrev4_lustrec_heater_control/make.proto new file mode 100644 index 00000000..ccb0e684 --- /dev/null +++ b/test/monniaux/lustrev4_lustrec_heater_control/make.proto @@ -0,0 +1,3 @@ +sources: "$(wildcard *.c)" +target: lustrec_heater_control +measures: [cycles] |