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/all/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mathcomp/all')

diff --git a/mathcomp/all/Makefile b/mathcomp/all/Makefile
index e872352..a58be7b 100644
--- a/mathcomp/all/Makefile
+++ b/mathcomp/all/Makefile
@@ -11,12 +11,12 @@ MAKEFLAGS+=-B
 
 %:
 	$(H)[ -e Makefile.coq ] || $(COQBIN)/coq_makefile -f Make -o Makefile.coq
-	$(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
+	$(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \
 		-f Makefile.coq $*
 
 .PHONY: clean
 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