From c69744eb4e17c1651c3be90d790bad0614211147 Mon Sep 17 00:00:00 2001
From: Lane Jennison <lane@lane-fu.com>
Date: Sat, 25 Jan 2020 18:27:19 -0500
Subject: [PATCH] adding build-config again

---
 jenkins_ci.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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}
 
 }