diff --git a/jenkins_ci.sh b/jenkins_ci.sh index b21cde3..45574c6 100755 --- a/jenkins_ci.sh +++ b/jenkins_ci.sh @@ -73,7 +73,7 @@ get_build_target() { build_kernel() { local build_config=$1 git checkout ${GIT_COMMIT} - ./compile.sh CONFIG=${build_config} BOARD=${ARMBIAN_BOARD} BRANCH=${ARMBIAN_BRANCH} + ./compile.sh ${build_config} BOARD=${ARMBIAN_BOARD} BRANCH=${ARMBIAN_BRANCH} }