From b9d49d1dd2b6d36a9aecbbff324f342710b46625 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Markus=20Fr=C3=B6schle?= Date: Tue, 25 Oct 2016 15:38:28 +0000 Subject: [PATCH] call $(MAKE) instead of make --- tos/Makefile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tos/Makefile b/tos/Makefile index af2dbf1..c51142f 100644 --- a/tos/Makefile +++ b/tos/Makefile @@ -27,11 +27,11 @@ fpga_test: .PHONY: clean clean: - @(cd jtagwait; make clean) - @(cd bascook; make clean) - @(cd vmem_test; make clean) - @(cd pci_test; make clean) - @(cd pci_mem; make clean) - @(cd fpga_test; make clean) + @(cd jtagwait; $(MAKE) -s clean) + @(cd bascook; $(MAKE) -s clean) + @(cd vmem_test; $(MAKE) -s clean) + @(cd pci_test; $(MAKE) -s clean) + @(cd pci_mem; $(MAKE) -s clean) + @(cd fpga_test; $(MAKE) -s clean)