Jenkinsfile

@@ -1,8 +1,4 @@
 node ("make") {
-    stage('checkout tools') {
-        checkout scm
-    }
-
     stage('checkout') {
         checkout([
             $class: 'GitSCM',

build.sh

@@ -1,5 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
-set -euo errexit
 
 platforms='
 	CONFIG_TARGET_arm64=y
@@ -31,5 +30,4 @@ for platform in $platforms; do
 	# Build image
 	make defconfig
 	make -j4
-    exit 1
 done

rename.sh

@@ -1,5 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/bash
-set -euo errexit
 
 if [ $# -ne 2 -o ! -d "$2" ]; then
   echo "usage: $0 <ident> <folder>"