From 89e657c97d1791b2edd9001cae70d4fbe275db4d Mon Sep 17 00:00:00 2001 From: Alibek Omarov Date: Fri, 18 Oct 2019 03:06:17 +0300 Subject: [PATCH] build-waf: change waf help name to waifu ;) --- build-waf.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-waf.sh b/build-waf.sh index d7ace55..49c0e02 100755 --- a/build-waf.sh +++ b/build-waf.sh @@ -9,7 +9,7 @@ WAIFU_TOOLS="gitversion,reconfigure,msdev,fwgslib,cxx11,force_32bit,subproject,s pushd wafsrc echo "-- Building waf without waifu extensions: $TOOLS" -./waf-light "--tools=$TOOLS" "--prelude=$PRELUDE" +./waf-light "--tools=$TOOLS" "--prelude=$PRELUDE" "--set-name=waifu" mv waf ../waf-noext popd @@ -27,6 +27,6 @@ get_waifu_tools() TOOLS=$TOOLS$(get_waifu_tools) echo "-- Building waf with waifu extensions: $TOOLS" pushd wafsrc -./waf-light "--tools=$TOOLS" "--prelude=$PRELUDE" +./waf-light "--tools=$TOOLS" "--prelude=$PRELUDE" "--set-name=waifu" mv waf ../waf-ext popd