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"}