From 5538f658ba03ffda3c74336983a1d25eaba68ae1 Mon Sep 17 00:00:00 2001 From: Vasil Dimov Date: Mon, 26 Sep 2016 22:22:02 +0300 Subject: [PATCH] use $(MAKE) instead of 'make' in Makefiles (follow-up to f3dc11c) License: MIT Signed-off-by: Vasil Dimov --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c32f16c96fd..bbc7ffc6e2d 100644 --- a/Makefile +++ b/Makefile @@ -80,7 +80,7 @@ test_short: build test_go_short test_sharness_short test_expensive: build test_go_expensive test_sharness_expensive windows_build_check test_3node: - cd test/3nodetest && make + $(MAKE) -C test/3nodetest test_go_short: $(go_test) -test.short ./...