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