From 6b350e7bddeaaeccdd9d49dda002c097c9e18b22 Mon Sep 17 00:00:00 2001 From: "David A. Wheeler" Date: Thu, 16 Nov 2017 21:01:23 -0500 Subject: [PATCH] Call make using $(MAKE) Signed-off-by: David A. Wheeler --- makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/makefile b/makefile index a2060a8..8aa5212 100644 --- a/makefile +++ b/makefile @@ -195,10 +195,10 @@ test: test_001 test_002 test_003 test_004 test_005 test_006 test_007 # Usual check routine. Run all tests using *both* python2 and python3. check: @echo "Testing with $(PYTHON2)" - @PYTHON="$(PYTHON2)" make test + @PYTHON="$(PYTHON2)" $(MAKE) test @echo @echo "Testing with $(PYTHON3)" - @PYTHON="$(PYTHON3)" make test + @PYTHON="$(PYTHON3)" $(MAKE) test # Run "make test-is-correct" if the results are as expected. test-is-correct: test-results.txt