diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh index 51aebf2ae726167e3ab06a911b63e743307973c6..f1a22fc10ef38a8733fa274ab415865d81e3daaf 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash set -Eeuo pipefail -GLOBIGNORE=examples/:.*/:test/:11.5/:11.5-ubi/:11.6/:11.6-ubi/:main/:main-ubi/ +GLOBIGNORE=examples/:.*/:test/:11.6/:11.6-ubi/:main/:main-ubi/ err() { echo >&2 "ERROR: $*"