diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index d6e5ad6..53482c7 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -1,6 +1,7 @@ pipeline { parameters { booleanParam 'CLEAN_BUILD' + string 'CUSTOM_TARGET' } options { @@ -45,6 +46,9 @@ pipeline { stage('Build') { steps { sh 'make -C buildroot O="${PWD}"/_build BR2_EXTERNAL="${PWD}" aimeeos_qemu_aarch64_defconfig' + if (params.CUSTOM_TARGET) { + sh "make -C _build '${CUSTOM_TARGET}'" + } sh 'make -C _build' } post {