jenkins-build-common.sh: also pass additional build flags to CMake

Change-Id: I1c5998d31201505d0a2532f22f905ec155d6c094
This commit is contained in:
Andre Puschmann 2020-04-20 15:12:55 +02:00
parent 6360dfb4d6
commit 8e1ba792c5
1 changed files with 1 additions and 1 deletions

View File

@ -150,7 +150,7 @@ build_repo_dir() {
elif [ -f CMakeLists.txt ]; then
rm -rf build && mkdir build && cd build || exit 1
set +x; echo; echo; set -x
cmake -DCMAKE_INSTALL_PREFIX=$prefix ../
cmake -DCMAKE_INSTALL_PREFIX=$prefix $configure_opts ../
else
echo "Unknwown build system" && exit 1
fi