Fix makefiles when not using make as make tool
authorlaurent
Thu, 07 Jul 2011 10:49:08 +0200
changeset 335 96d2efda3d8d
parent 334 63b52a8a12f3
child 336 229eb3e29216
Fix makefiles when not using make as make tool
Makefile
stage4/Makefile
--- a/Makefile	Wed Jul 06 12:19:30 2011 +0200
+++ b/Makefile	Thu Jul 07 10:49:08 2011 +0200
@@ -42,7 +42,7 @@
 	-rm -f iec2iec iec2c *.o absyntax/*.o
 	echo > Makefile.depend
 # make something everywhere (ie, in all Makefiles that have that target)
-	find . -depth -mindepth 2 -maxdepth 2 -name Makefile | sed 's/Makefile//g' | xargs -I {} make -C{} clean
+	find . -depth -mindepth 2 -maxdepth 2 -name Makefile | sed 's/Makefile//g' | xargs -I {} $(MAKE) -C{} clean
 
 CXXFLAGS += -I.
 
--- a/stage4/Makefile	Wed Jul 06 12:19:30 2011 +0200
+++ b/stage4/Makefile	Thu Jul 07 10:49:08 2011 +0200
@@ -28,7 +28,7 @@
 
 clean:
 	rm -f *.o
-	find . -depth -mindepth 2 -maxdepth 2 -name Makefile | sed 's/Makefile//g' | xargs -I {} make -C{} clean
+	find . -depth -mindepth 2 -maxdepth 2 -name Makefile | sed 's/Makefile//g' | xargs -I {} $(MAKE) -C{} clean
 
 
 CXXFLAGS += -I. -I../*