This commit is contained in:
Abd ar-Rahman Hamidi 2023-11-09 11:45:34 +00:00 committed by GitHub
commit 20019faea5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -44,7 +44,7 @@ setGlobals() {
errorln "ORG Unknown"
fi
if [ "$VERBOSE" == "true" ]; then
if [[ "$VERBOSE" == "true" ]]; then
env | grep CORE
fi
}