diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-04 12:26:02 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-04 12:26:02 +0200 |
commit | 3f441224f1c33942cbfe0c41334ff66fcb8b4a72 (patch) | |
tree | 13845478297063b39e9fa96d5a9e2fa149a4a0f2 | |
parent | 1fc26cf05b90c167d2f02599cc75b9df26e4d623 (diff) | |
download | compcert-kvx-3f441224f1c33942cbfe0c41334ff66fcb8b4a72.tar.gz compcert-kvx-3f441224f1c33942cbfe0c41334ff66fcb8b4a72.zip |
keep the .s files
-rwxr-xr-x | test/monniaux/genmake.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/monniaux/genmake.py b/test/monniaux/genmake.py index 62b97836..16e269e3 100755 --- a/test/monniaux/genmake.py +++ b/test/monniaux/genmake.py @@ -130,6 +130,8 @@ print_measure_rule(environments, measures) print(""" +.SECONDARY: + .PHONY: clean: rm -f *.o *.s *.k1c *.csv |