diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 16:01:30 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 16:01:30 +0200 |
| commit | 5e2c5fae42c5c01be59999ce1170c6aea1024795 (patch) | |
| tree | 3196073bfc59bdbe1e0d2ff7e7db5a87feafc4dd /test/monniaux/generate_makefiles.sh | |
| parent | 38c52d38442dec9f8043d1157d68bb8eebfe7b4b (diff) | |
| parent | 107c470356e76dff780c5cf197a376d5667097b8 (diff) | |
| download | compcert-kvx-5e2c5fae42c5c01be59999ce1170c6aea1024795.tar.gz compcert-kvx-5e2c5fae42c5c01be59999ce1170c6aea1024795.zip | |
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
Diffstat (limited to 'test/monniaux/generate_makefiles.sh')
| -rwxr-xr-x | test/monniaux/generate_makefiles.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/generate_makefiles.sh b/test/monniaux/generate_makefiles.sh index 14a6bd92..1c05538f 100755 --- a/test/monniaux/generate_makefiles.sh +++ b/test/monniaux/generate_makefiles.sh @@ -5,3 +5,4 @@ source benches.sh for bench in $benches; do ./genmake.py $bench/make.proto > $bench/Makefile done + |