Update define.sh

This commit is contained in:
Kroese 2024-05-05 15:22:39 +02:00 committed by GitHub
parent 3ac9c9a4d5
commit 180589858e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -1,8 +1,10 @@
#!/usr/bin/env bash
set -Eeuo pipefail
: "${RESET:=""}"
: "${VERIFY:=""}"
: "${MANUAL:=""}"
: "${REMOVE:=""}"
: "${VERSION:=""}"
: "${DETECTED:=""}"
: "${PLATFORM:="x64"}"