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