From e372a0f682d3d9faca898a7bf038e09b228cb14e Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Fri, 22 Apr 2016 00:59:20 +0200 Subject: [PATCH] Makefile: distcheck only needs checkwaf, split configure --- Makefile | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 7cef2c40..1b58562c 100644 --- a/Makefile +++ b/Makefile @@ -15,9 +15,11 @@ expandwaf: @sed '/^#==>$$/,$$d' waf > waf2 && mv waf2 waf @chmod +x waf -build: checkwaf - ./waf configure - ./waf build +configure: checkwaf + $(WAFCMD) configure + +build: configure + $(WAFCMD) build build_python: cd python && ./setup.py build @@ -34,7 +36,7 @@ clean_python3: clean: $(WAFCMD) clean -distcheck: build +distcheck: checkwaf $(WAFCMD) distcheck help: -- 2.11.0