tools/ci-build.sh: Pass user arguments to cmake last

This allows a user to override ENABLE_WERROR for platforms that are not
yet -Werror clean.

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index a7b5969d85ab1b6591bfefa40e9e648b4211fcf5..38c87fe570e7bf09810634d9e22151c19e427ec3 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -412,7 +412,7 @@ case "$ci_buildsys" in
                 ;;
         esac
 
-        $cmake "$@" -DCMAKE_VERBOSE_MAKEFILE=ON -DENABLE_WERROR=ON ..
+        $cmake -DCMAKE_VERBOSE_MAKEFILE=ON -DENABLE_WERROR=ON "$@" ..
 
         ${make}
         # The test coverage for OOM-safety is too verbose to be useful on