diff --git a/jenkins/release.sh b/jenkins/release.sh index ec94779844..0b99ab0ee6 100755 --- a/jenkins/release.sh +++ b/jenkins/release.sh @@ -1,7 +1,7 @@ #!/bin/bash set -ex case "${CHANNEL}" in - stable|beta) + stable) boards=( amd64-usr ) ;; *)