From ee77a1c53f02f260d4edee949552fee31b97adbb Mon Sep 17 00:00:00 2001 From: Eugenio Romano Date: Tue, 23 May 2017 12:59:37 +0100 Subject: [PATCH] set ex update version --- scripts/update-version.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/update-version.sh b/scripts/update-version.sh index 4359916223..d4cc32af47 100755 --- a/scripts/update-version.sh +++ b/scripts/update-version.sh @@ -3,6 +3,8 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" eval JS_API=true +set -ex + cd `dirname $0` show_help() {