From: "Michael R. Crusoe" <crusoe@debian.org>
Date: Mon, 9 Sep 2019 16:18:56 +0900
Subject: improve build parallelization

Forwarded: https://github.com/vgteam/structures/pull/10
Forwarded: https://github.com/benedictpaten/sonLib/pull/40
---
 deps/sonLib/externalTools/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/deps/sonLib/externalTools/Makefile b/deps/sonLib/externalTools/Makefile
index 45333bf..a43dc9d 100644
--- a/deps/sonLib/externalTools/Makefile
+++ b/deps/sonLib/externalTools/Makefile
@@ -8,13 +8,13 @@ all : cutestM quicktreeM
 clean : cutestM.clean quicktreeM.clean
 
 cutestM :
-	cd cutest && make all
+	+cd cutest && $(MAKE) all
 
 cutestM.clean :
-	cd cutest && make clean
+	+cd cutest && $(MAKE) clean
 
 quicktreeM :
-	cd quicktree_1.1 && make all CC="${cxx}"
+	+cd quicktree_1.1 && $(MAKE) all CC="${cxx}"
 
 quicktreeM.clean :
-	cd quicktree_1.1 && make clean
+	+cd quicktree_1.1 && $(MAKE) clean
