Update define.sh

This commit is contained in:
Kroese 2024-05-01 05:08:01 +02:00 committed by GitHub
parent 50487d34f8
commit fc5bdce509
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,6 +1,7 @@
#!/usr/bin/env bash
set -Eeuo pipefail
: "${VERIFY:=""}"
: "${MANUAL:=""}"
: "${VERSION:=""}"
: "${DETECTED:=""}"