--- rpl/rplcas/Makefile.in	2012/07/04 13:44:33	1.31
+++ rpl/rplcas/Makefile.in	2012/07/29 20:38:23	1.32
@@ -60,11 +60,12 @@ lib/ntl.a:
 				LDFLAGS="-L@SYSROOT2@/usr/lib"); \
 	fi
 	(cd @NTL@/src && \
-		if [ -z $(make -v | grep "^GNU Make") ]; then \
+		if [ -z '$(make -v | grep "^GNU Make")' -a $(shell uname) != Linux ]; \
+					then \
 				sed 's/make /gmake /g' makefile > makefile2 && \
 				\mv -f makefile2 makefile && \
 				sed 's/make /gmake /g' WizardAux > WizardAux2 && \
-				\mv -f WizardAux2 WizardAux;
+				\mv -f WizardAux2 WizardAux; \
 		fi && \
 		$(MAKE) $(AM_MAKEFLAGS) -f makefile)
 	cp @NTL@/src/ntl.a lib/ntl.a