diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 21:33:13 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 21:33:13 +0100 |
| commit | 91c23dece6e83c1b6566530ecf9467e091934474 (patch) | |
| tree | 802c69ea5c6cccf52ef0ab7026ce5bfae29a2eca /test/monniaux/mod_int_mat | |
| parent | 5a5c643f127c44bfb86fe5c417db7bc561398499 (diff) | |
| download | compcert-kvx-91c23dece6e83c1b6566530ecf9467e091934474.tar.gz compcert-kvx-91c23dece6e83c1b6566530ecf9467e091934474.zip | |
fix Makefile
Diffstat (limited to 'test/monniaux/mod_int_mat')
| -rw-r--r-- | test/monniaux/mod_int_mat/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile index 9a90a4ae..912d016b 100644 --- a/test/monniaux/mod_int_mat/Makefile +++ b/test/monniaux/mod_int_mat/Makefile @@ -4,7 +4,7 @@ K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int -PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s +PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s int_mat.gcc.k1c int_mat.ccomp.k1c all: $(PRODUCTS) @@ -41,6 +41,6 @@ int_mat.ccomp.k1c: int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o k1-cluster --cycle-based -- $< | tee $@ clean: - $(RM) -f $(PRODUCTS) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o + $(RM) -f $(PRODUCTS) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o .PHONY: clean |