[skip ci] Add comment for get_release_name.sh (#12583)

Signed-off-by: Jenny Li <jing.li@zilliz.com>
pull/12601/head
Jenny Li 2021-12-02 13:03:46 +08:00 committed by GitHub
parent 2201c3773f
commit 5eeb3ba830
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -16,6 +16,7 @@
# Exit immediately for non zero status
set -e
# Check unset variables
set -u
# Print commands
set -x