diff --git a/tools/unix/generate_symbols.sh b/tools/unix/generate_symbols.sh index d085904f38..e41c8318f6 100755 --- a/tools/unix/generate_symbols.sh +++ b/tools/unix/generate_symbols.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -e -u +set -euo pipefail if ! command -v optipng &> /dev/null then