diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2020-05-26 08:26:56 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2020-05-26 08:26:56 +0200 |
commit | 3f76c3106af1140b3458de9fcbb636729f381ecc (patch) | |
tree | 74dc9a2ca1061e19f3ac1b24b4583a0207f6dbf1 | |
parent | 66e4c033a6ea2a0a1519749d2c38ceb6d1fbdd4c (diff) | |
download | bin-3f76c3106af1140b3458de9fcbb636729f381ecc.zip bin-3f76c3106af1140b3458de9fcbb636729f381ecc.tar.gz |
godot-update : fix clean, add compile line
-rwxr-xr-x | godot-update | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/godot-update b/godot-update index 2a57c5b..35940e9 100755 --- a/godot-update +++ b/godot-update @@ -75,7 +75,9 @@ pushd ./godot if [ $CLEAN -eq 1 ] then - find -name \*.o -o -name \*.gen.cpp -o -name \*.gen.h -delete + find -name \*.o -delete + find -name \*.gen.h -delete + find -name \*.gen.cpp -delete fi HEAD_PREV=$(git log HEAD~1.. --pretty=format:'%H' | head -n1) @@ -94,3 +96,4 @@ popd ls -l godot/bin/ +# scons -j4 platform=linuxbsd target=release_debug tools=yes colored=yes pulseaudio=no bits=64 warnings=no |