From 8e1ba792c5047301fe811e05d244b0f87d0111c2 Mon Sep 17 00:00:00 2001
From: Andre Puschmann <andre@softwareradiosystems.com>
Date: Mon, 20 Apr 2020 15:12:55 +0200
Subject: [PATCH] jenkins-build-common.sh: also pass additional build flags to
 CMake

Change-Id: I1c5998d31201505d0a2532f22f905ec155d6c094
---
 contrib/jenkins-build-common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/jenkins-build-common.sh b/contrib/jenkins-build-common.sh
index ca8bf02c..0dac3a4c 100644
--- a/contrib/jenkins-build-common.sh
+++ b/contrib/jenkins-build-common.sh
@@ -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