From 75a36dd25504bce81d18c7f3b64064dd29b5b1e8 Mon Sep 17 00:00:00 2001 From: Alibek Omarov Date: Fri, 18 Oct 2019 05:24:43 +0300 Subject: [PATCH] build-waf: don't strip waf to be more GPL compliant (+60 kb) --- build-waf.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-waf.sh b/build-waf.sh index 6fa8ba8..530c471 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" "--set-name=waifu" +./waf-light "--tools=$TOOLS" "--prelude=$PRELUDE" "--set-name=waifu" --nostrip 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" "--set-name=waifu" +./waf-light "--tools=$TOOLS" "--prelude=$PRELUDE" "--set-name=waifu" --nostrip mv waf ../waf-ext popd