clean up a bit and fix scripts

2026-04-26 14:57:02 +02:00 · 2026-04-26 14:57:02 +02:00 · f870853630
commit f870853630
parent be6aabb4eb
6 changed files with 15 additions and 6 deletions
--- a/check-edition.sh
+++ b/check-edition.sh
@ -1,9 +1,10 @@
 #!/usr/bin/env bash

-set -e pipefail
+
+set -euo pipefail

 if [ -z ${EDITION+x} ]; then
-    EDITION=$1
+    export EDITION=$1
 fi

 # comma seperated list of features for the specified version