From ddb77225b046a0da2870c80aa3d4ca35755a5a71 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= Date: Sun, 17 Jul 2022 23:27:21 +0200 Subject: godot-update : small fix --- godot-update | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/godot-update b/godot-update index 06b9003..5f03399 100755 --- a/godot-update +++ b/godot-update @@ -39,6 +39,7 @@ function build() export CXX=/usr/lib/ccache/bin/clang++ export CC=/usr/lib/ccache/bin/clang + [ -f custom.py ] && rm custom.py rm ./bin/* platform=linuxbsd platform=x11 @@ -94,17 +95,16 @@ pushd $DIR HEAD_NOW=$(git log HEAD~1.. --pretty=format:'%H' | head -n1) echo -e "updated HEAD : $RED$HEAD_NOW$RESET" - if [ $FORCE = 1 -o "$HEAD_PREV" != "$HEAD_NOW" ] + if [ $FORCE = 1 ] || [ "$HEAD_PREV" != "$HEAD_NOW" ] then build git log $HEAD_PREV.. fi + strip ./bin/godot.* + ls -lh ./bin/ popd -strip $DIR/bin/godo.* -ls -lh $DIR/bin/ - # https://godot-build-options-generator.github.io # scons -j4 platform=linuxbsd target=release_debug tools=yes pulseaudio=no bits=64 warnings=no #custom_modules=../modules # scons -j4 platform=android target=debug android_arch=arm64v8 ndk_platform=android-22 tools=no disable_3d=true -- cgit v1.1-2-g2b99