From e888516870ef592d0f7da74f8138e478d6114b05 Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Tue, 10 Oct 2017 13:23:30 +0200
Subject: fix building with make flags

Fixes #139
---
 mathcomp/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mathcomp/Makefile')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index e05ce80..f6e06b4 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -23,11 +23,11 @@ MAKEFLAGS+=-B
 %:
 	$(H)[ -e Makefile.coq ] || $(call coqmakefile,ssreflect)
 	# Override COQDEP to find only the "right" copy .ml files
-	$(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+	$(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
 		-f Makefile.coq $* \
 		COQDEP='$(COQDEP) -exclude-dir plugin -c'
 
 clean:
-	$(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+	$(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
 		-f Makefile.coq clean
 	$(H)rm -f Makefile.coq
-- 
cgit v1.2.3