@@ -1,5 +1,5 @@
#!/bin/bash
-set -ev
+set -e
# We only want to push the docs once, so we just take the travis run where MINGW=true which is only enabled once
if [ "$MINGW" = "true" ] && [ "${TRAVIS_REPO_SLUG}" = "open62541/open62541" ] && [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then
if [ -z ${LOCAL_PKG+x} ] || [ -z "$LOCAL_PKG" ]; then
echo "LOCAL_PKG is not set. Aborting..."
brew install check
brew install --HEAD valgrind
# This script will only be executed on branches which are either master or a release
# See travis_linux_after_success.sh
TAGSTOSAVE=50
TAG="$(git rev-parse --short=10 HEAD)"