From a3e0aba7ec9ebd14ce0534b1e96d74085e00a7a5 Mon Sep 17 00:00:00 2001
From: Isaku Yamahata <isaku.yamahata@gmail.com>
Date: Thu, 15 Aug 2019 22:21:39 -0700
Subject: [PATCH] [LibOS] Use $(MAKE) for sub-makes instead of raw make in
 LibOS/shim/Makefile

---
 LibOS/shim/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/LibOS/shim/Makefile b/LibOS/shim/Makefile
index 77059ba8..504692a0 100644
--- a/LibOS/shim/Makefile
+++ b/LibOS/shim/Makefile
@@ -5,16 +5,16 @@ export SYS
 
 .PHONY: all
 all:
-	make -C src
+	$(MAKE) -C src
 
 .PHONY: test
 test:
-	make -C test
+	$(MAKE) -C test
 
 .PHONY: clean
 clean:
-	make -C src clean
-	make -C test clean
+	$(MAKE) -C src clean
+	$(MAKE) -C test clean
 
 .PHONY: format
 format: