diff --git a/jenkins_ci.sh b/jenkins_ci.sh
index 932e3c3..84e45c7 100755
--- a/jenkins_ci.sh
+++ b/jenkins_ci.sh
@@ -71,8 +71,9 @@ get_build_target() {
 }
 
 build_kernel() {
+  local build_config=${1}
   git checkout ${GIT_COMMIT}
-  ./compile.sh BOARD=${ARMBIAN_BOARD} BRANCH=${ARMBIAN_BRANCH}
+  ./compile.sh ${build_config} BOARD=${ARMBIAN_BOARD} BRANCH=${ARMBIAN_BRANCH}
 
 }