diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 09:49:10 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 09:49:10 +0100 |
| commit | 07f94da073dede202ff88f3893f15828243b44a3 (patch) | |
| tree | 8987e97072490d2788de23a0fa012e6cec881914 /test/monniaux/micro-bunzip | |
| parent | a5da25f1c04f4bc3ef70930053282fd9de4040d5 (diff) | |
| download | compcert-kvx-07f94da073dede202ff88f3893f15828243b44a3.tar.gz compcert-kvx-07f94da073dede202ff88f3893f15828243b44a3.zip | |
fixes in makefiles
Diffstat (limited to 'test/monniaux/micro-bunzip')
| -rw-r--r-- | test/monniaux/micro-bunzip/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/monniaux/micro-bunzip/Makefile b/test/monniaux/micro-bunzip/Makefile index a9776b6c..bd317980 100644 --- a/test/monniaux/micro-bunzip/Makefile +++ b/test/monniaux/micro-bunzip/Makefile @@ -39,3 +39,7 @@ testfile.txt.2gcc testfile.txt.gcc.out: testfile.txt micro-bunzip.gcc.k1c testfile.txt.2host: testfile.txt micro-bunzip.host bzip2 <testfile.txt | valgrind ./micro-bunzip.host > testfile.txt.2host +clean: + rm -f *.k1c *.out test*txt* + +.PHONY: clean |