--- rpl/Makefile.am	2013/03/21 14:13:55	1.67
+++ rpl/Makefile.am	2013/03/22 10:20:34	1.68
@@ -12,7 +12,7 @@ EXTRA_DIST = LIMITATIONS Licence_CeCILL_
 		rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz
 
 all:
-	@if [ x$(shell $(MAKE) -v | grep "^GNU Make") != x ]; then \
+	@if [ x"$(shell $(MAKE) -v | grep '^GNU Make')" != x ]; then \
 		echo; \
 		echo MAKE=$(MAKE); \
 		echo "Please use GNU Make !"; \