From 6d4b481077b0f84fab821b000975a0c066925173 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 19 Nov 2020 14:06:17 +0100
Subject: un peu de progrès sur le Makefile
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c126bfcb..7adb45e8 100644
--- a/Makefile
+++ b/Makefile
@@ -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
 
-- 
cgit