Update to Fedora 37 #2

Merged
dustin merged 2 commits from f37 into master 2022-12-13 16:10:59 +00:00
2 changed files with 1 additions and 12 deletions

11
ci/Jenkinsfile vendored
View File

@ -11,20 +11,9 @@ pipeline {
disableConcurrentBuilds() disableConcurrentBuilds()
} }
parameters {
booleanParam \
name: 'Clean',
description: 'Clean the workspace and perform a full rebuild'
}
stages { stages {
stage('Build') { stage('Build') {
steps { steps {
script {
if (params.Clean) {
sh 'rm -rf _build'
}
}
copyArtifacts \ copyArtifacts \
filter: 'aarch64/mqttdpms', filter: 'aarch64/mqttdpms',
projectName: '../mqttdpms/master', projectName: '../mqttdpms/master',

View File

@ -5,7 +5,7 @@ set -e
srcdir="$(dirname "$0")" srcdir="$(dirname "$0")"
destdir="$(mkdir -p "$1" && readlink -e "$1")" destdir="$(mkdir -p "$1" && readlink -e "$1")"
dest=basementhud.squashfs dest=basementhud.squashfs
releasever=35 releasever=37
mkdir -p "${destdir}" mkdir -p "${destdir}"