From 6cce5c169a5d267b45db46a6101f873c8bb15768 Mon Sep 17 00:00:00 2001 From: Relintai Date: Mon, 10 Jan 2022 10:08:09 +0100 Subject: [PATCH] Make the pi build script rename the built executables. --- build_pi.sh | 6 ++++++ 1 file changed, 6 insertions(+) mode change 100644 => 100755 build_pi.sh diff --git a/build_pi.sh b/build_pi.sh old mode 100644 new mode 100755 index 7412965e..f7c52c2d --- a/build_pi.sh +++ b/build_pi.sh @@ -3,4 +3,10 @@ scons bel_latomic_strip_slim -j4 scons bl_latomic_strip_slim -j4 scons blr_latomic_strip_slim -j4 +rm -f ./engine/bin/godot.x11.pi4.opt.32 +rm -f ./engine/bin/godot.x11.pi4.opt.debug.32 +rm -f ./engine/bin/godot.x11.pi4.opt.tools.32 +mv ./engine/bin/godot.x11.opt.32 ./engine/bin/godot.x11.pi4.opt.32 +mv ./engine/bin/godot.x11.opt.debug.32 ./engine/bin/godot.x11.pi4.opt.debug.32 +mv ./engine/bin/godot.x11.opt.tools.32 ./engine/bin/godot.x11.pi4.opt.tools.32