commit 4f0252c34db6d80ca6b23ba089913c79a39f3771
author Thomas Vachuska <tom@opennetworking.org> Mon Sep 28 11:15:45 2020 -0700
committer Thomas Vachuska <tom@opennetworking.org> Mon Sep 28 11:15:45 2020 -0700
tree b604cf8b3ece61eb7731708e7c881cbcd902f8fb
parent 442200542ade2a1fe1ac82979cac1d63fd0867d1

Cleaned up docs/external; deprecated docs/internal

Change-Id: Iebaebe67c22dd1fa03fc1d4960aa5c8eaf75d714

tools/build/onos-change-version

diff --git a/tools/build/onos-change-version b/tools/build/onos-change-version
index a0dad83..b07d107 100755
--- a/tools/build/onos-change-version
+++ b/tools/build/onos-change-version
@@ -3,7 +3,7 @@
 # Changes ONOS version in POM files, and other release artifacts.
 # -----------------------------------------------------------------------------
 
-set -e
+set -ex
 
 [ ! -d "$ONOS_ROOT" ] && echo "ONOS_ROOT is not defined" >&2 && exit 1
 . $ONOS_ROOT/tools/build/envDefaults