diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-19 14:06:17 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-19 14:06:17 +0100 |
commit | 6d4b481077b0f84fab821b000975a0c066925173 (patch) | |
tree | 11981ff3e98c99a41fb2f9a01f80762d782b14b7 /Makefile | |
parent | 293e792b47dc725f4e4ed4eb73dd47eef6ca04c5 (diff) | |
download | compcert-kvx-6d4b481077b0f84fab821b000975a0c066925173.tar.gz compcert-kvx-6d4b481077b0f84fab821b000975a0c066925173.zip |
un peu de progrès sur le Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -125,7 +125,7 @@ BACKEND=\ Asm.v Asmgen.v Asmgenproof0.v Asmgenproof.v Asmaux.v \ $(BACKENDLIB) -ifneq ($(ARCH), "kvx") +ifneq ($(ARCH),kvx) BACKEND += Asmgenproof1.v endif |