Andrew's git
/
gitweb.git
/ blobdiff
summary
|
log
|
commit
|
diff
|
tree
commit
grep
author
committer
pickaxe
?
re
unpack-trees: oneway_merge to update submodules
[gitweb.git]
/
ci
/
lib-travisci.sh
diff --git
a/ci/lib-travisci.sh
b/ci/lib-travisci.sh
index 0e1c38491cac0eb321d8747d91fafcff197b86d1..331d3eb3a6914cd811448e002e8b10ed503e7263 100755
(executable)
--- a/
ci/lib-travisci.sh
+++ b/
ci/lib-travisci.sh
@@
-23,7
+23,7
@@
skip_branch_tip_with_tag () {
# Set 'exit on error' for all CI scripts to let the caller know that
# something went wrong
-set -e
+set -e
x
skip_branch_tip_with_tag