ci/Jenkinsfile

@@ -75,7 +75,7 @@ pipeline {
                             ),
                         ],
                         userRemoteConfigs: [[
-                            url: 'https://git.pyrocufflink.net/AimeeOS/aimee-os.git,
+                            url: 'https://git.pyrocufflink.net/AimeeOS/aimee-os.git',
                         ]],
                     )
                 )
@@ -84,8 +84,7 @@ pipeline {
 
         stage('Build') {
             steps {
-                sh '{ cat airplaypi_defconfig.in ; grep BR2_LINUX_KERNEL_CUSTOM_TARBALL_LOCATION buildroot/configs/raspberrypi3_defconfig; } > airplaypi_defconfig'
-                sh 'make -C buildroot O="${PWD}"/_build BR2_EXTERNAL="${PWD}/aimee-os" defconfig BR2_DEFCONFIG="${PWD}"/airplaypi_defconfig'
+                sh '. ci/defconfig.sh'
                 script {
                     if (params.CUSTOM_TARGET) {
                         sh "make -C _build '${CUSTOM_TARGET}'"

ci/defconfig.sh

@@ -0,0 +1,11 @@
+#!/bin/sh
+{
+    cat airplaypi_defconfig.in
+    grep BR2_LINUX_KERNEL_CUSTOM_TARBALL_LOCATION buildroot/configs/raspberrypi3_defconfig
+} > airplaypi_defconfig
+make \
+    -C buildroot \
+    O="${PWD}"/_build \
+    BR2_EXTERNAL="${PWD}/aimee-os" \
+    defconfig \
+    BR2_DEFCONFIG="${PWD}"/airplaypi_defconfig