diff --git a/.github/scripts/releases/extract_build_linux.sh b/.github/scripts/releases/extract_build_linux.sh index ea5a3ce33b..5f95e6531a 100755 --- a/.github/scripts/releases/extract_build_linux.sh +++ b/.github/scripts/releases/extract_build_linux.sh @@ -8,17 +8,21 @@ SOURCE=${3} mkdir -p $DEST -cp $BIN_SOURCE/game/gk $DEST -cp $BIN_SOURCE/goalc/goalc $DEST -cp $BIN_SOURCE/decompiler/extractor $DEST +PREP_BIN="${PREP_BIN:-true}" -strip $DEST/gk -strip $DEST/goalc -strip $DEST/extractor +if [ "$PREP_BIN" = "true" ]; then + cp $BIN_SOURCE/game/gk $DEST + cp $BIN_SOURCE/goalc/goalc $DEST + cp $BIN_SOURCE/decompiler/extractor $DEST -chmod +x $DEST/gk -chmod +x $DEST/goalc -chmod +x $DEST/extractor + strip $DEST/gk + strip $DEST/goalc + strip $DEST/extractor + + chmod +x $DEST/gk + chmod +x $DEST/goalc + chmod +x $DEST/extractor +fi mkdir -p $DEST/data mkdir -p $DEST/data/launcher/