# HG changeset patch
# User laurent
# Date 1310028548 -7200
# Node ID 96d2efda3d8d5b0572755695946cdc4ebefaca5b
# Parent  63b52a8a12f38988d773ec91649983b1bf2d330a
Fix makefiles when not using make as make tool

diff -r 63b52a8a12f3 -r 96d2efda3d8d 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.
 
diff -r 63b52a8a12f3 -r 96d2efda3d8d stage4/Makefile
--- 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../*