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: