--- rpl/Makefile.am	2013/03/21 14:13:55	1.67
+++ rpl/Makefile.am	2014/06/24 08:38:25	1.71
@@ -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 !"; \
@@ -47,7 +47,8 @@ purge:
 			rm -rf $(top_builddir)/rplcas/$$i; \
 		fi; \
 	done;
-	rm -f $(top_builddir)/tools/openmotif.lib
+	test -f $(top_builddir)/tools/openmotif.lib && \
+			rm -f $(top_builddir)/tools/openmotif.lib
 	rm -rf $(top_builddir)/tools/@OPENSSL@
 	rm -rf $(top_builddir)/tools/@ZLIB@