Merge "Use https to save a redirect"
authorJamo Luhrsen <jluhrsen@gmail.com>
Thu, 23 Jul 2020 03:54:12 +0000 (03:54 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Thu, 23 Jul 2020 03:54:12 +0000 (03:54 +0000)
jjb/integration/multipatch-distribution.sh

index c4cf32d4815f964f6758a2ee0684bd801d30a9b7..3d487209aae779f52af0d24cc2f0089511367bc4 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -ex
 
 # create a fresh empty place to build this custom distribution
 BUILD_DIR=${WORKSPACE}/patch_tester