diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 14:39:36 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 14:39:36 +0200 |
commit | 25f4ccd631cafe403daf60f886e98ae9c7c44e03 (patch) | |
tree | cebba38d728b455e1d29978a3eb3e999886ef4b7 /test | |
parent | 0ad6bc290c564ccaffd7df0e7232e133b94895f8 (diff) | |
parent | 83f7c0dfc0454b7b457bc55f352133fa831cc861 (diff) | |
download | compcert-kvx-25f4ccd631cafe403daf60f886e98ae9c7c44e03.tar.gz compcert-kvx-25f4ccd631cafe403daf60f886e98ae9c7c44e03.zip |
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
Diffstat (limited to 'test')
-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] |