From 62fcb264804648b3a3ce6684df11ee3f357c2f0b Mon Sep 17 00:00:00 2001 From: Raphael Coeffic Date: Tue, 11 May 2021 12:32:56 +0200 Subject: [PATCH] Fix cmake command line --- tools/build-gh.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build-gh.sh b/tools/build-gh.sh index 60d5f0264..8ebc578d2 100755 --- a/tools/build-gh.sh +++ b/tools/build-gh.sh @@ -46,7 +46,7 @@ fi : ${SRCDIR:=$(dirname "$SCRIPT")/..} -: ${COMMON_OPTIONS:="-DCMAKE_BUILD_TYPE=Debug -DTRACE_SIMPGMSPACE=NO -DVERBOSE_CMAKELISTS=YES -DCMAKE_RULE_MESSAGES=OFF -Wno-dev"} +: ${COMMON_OPTIONS:="-DCMAKE_BUILD_TYPE=Debug -DTRACE_SIMPGMSPACE=NO -DVERBOSE_CMAKELISTS=YES -DCMAKE_RULE_MESSAGES=OFF -Wno-dev "} if (( $WERROR )); then COMMON_OPTIONS+=" -DWARNINGS_AS_ERRORS=YES -DMULTIMODULE=YES"; fi : ${EXTRA_OPTIONS:="$EXTRA_OPTIONS"}