From f6d59ae184ce8b600ab4deb9d57543333f875157 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89milie=20Feral?= Date: Tue, 18 Feb 2020 10:55:15 +0100 Subject: [PATCH] [build] Use $(MAKE) instead of make in Makefiles --- build/targets.simulator.web.mak | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build/targets.simulator.web.mak b/build/targets.simulator.web.mak index 9011e2831..65abe11f7 100644 --- a/build/targets.simulator.web.mak +++ b/build/targets.simulator.web.mak @@ -6,9 +6,9 @@ $(BUILD_DIR)/epsilon.packed.js: $(call object_for,$(epsilon_src)) .PHONY: workshop_python_emulator workshop_python_emulator: - make PLATFORM=simulator TARGET=web clean_for_apps_selection - make PLATFORM=simulator TARGET=web EPSILON_APPS=code - make PLATFORM=simulator TARGET=web clean_for_apps_selection + $(MAKE) PLATFORM=simulator TARGET=web clean_for_apps_selection + $(MAKE) PLATFORM=simulator TARGET=web EPSILON_APPS=code + $(MAKE) PLATFORM=simulator TARGET=web clean_for_apps_selection .PHONY: clean_for_apps_selection clean_for_apps_selection: