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

(limited to 'mathcomp/solvable')

diff --git a/mathcomp/solvable/Makefile b/mathcomp/solvable/Makefile
index 8f03823..ad0cab5 100644
--- a/mathcomp/solvable/Makefile
+++ b/mathcomp/solvable/Makefile
@@ -30,13 +30,13 @@ 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 $* \
 		COQDEP='$(COQDEP) -c'
 
 .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