From 4fe9159b0ca6b387e2bc474e0dfb550b34cd2efe Mon Sep 17 00:00:00 2001 From: Lion Kortlepel Date: Tue, 5 Dec 2023 13:27:19 +0100 Subject: [PATCH] clone commandline if not exists --- scripts/debian/2-configure.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/debian/2-configure.sh b/scripts/debian/2-configure.sh index d3bd1f5..f4cab6e 100755 --- a/scripts/debian/2-configure.sh +++ b/scripts/debian/2-configure.sh @@ -2,6 +2,10 @@ set -ex -git submodule update --init --recursive +if [ -ne ./deps/commandline/CMakeLists.txt ] +then + rm -rf deps/commandline + git clone https://github.com/lionkor/commandline/ deps/commandline +fi cmake ${1:-.} -B bin -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS="-O3 -s -Wl,-z,norelro -Wl,--hash-style=gnu -Wl,--build-id=none -Wl,-z,noseparate-code -ffunction-sections -fdata-sections -Wl,--gc-sections" -DBeamMP-Server_ENABLE_LTO=ON || cat "$SOURCE"/server/bin/vcpkg-bootstrap.log