diff options
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/workflows/build_test.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/build_test.sh b/.github/workflows/build_test.sh index d2123dfd6a..cc989da043 100755 --- a/.github/workflows/build_test.sh +++ b/.github/workflows/build_test.sh @@ -3,6 +3,8 @@ set -ex +shopt -s nullglob + info() { echo -e "\033[33;1m$1\033[0m"; } fatal() { echo >&2 -e "\033[31;1m$1\033[0m"; exit 1; } success() { echo >&2 -e "\033[32;1m$1\033[0m"; } |