FWGS/waifu
2
0
Fork 0
Code Issues Pull Requests Releases 2 Wiki Activity

build-waf: don't strip waf to be more GPL compliant (+60 kb)

Browse Source
This commit is contained in:
Alibek Omarov 2019-10-18 05:24:43 +03:00
parent c6fcf1321f
commit 75a36dd255
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-waf.sh
View File

@ -9,7 +9,7 @@ WAIFU_TOOLS="gitversion,reconfigure,msdev,fwgslib,cxx11,force_32bit,subproject,s
pushd wafsrc pushd wafsrc
echo "-- Building waf without waifu extensions: $TOOLS" 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 mv waf ../waf-noext
popd popd
@ -27,6 +27,6 @@ get_waifu_tools()
TOOLS=$TOOLS$(get_waifu_tools) TOOLS=$TOOLS$(get_waifu_tools)
echo "-- Building waf with waifu extensions: $TOOLS" echo "-- Building waf with waifu extensions: $TOOLS"
pushd wafsrc 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 mv waf ../waf-ext
popd popd