X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=blobdiff_plain;f=tools%2Fcollect.sh;h=05450c204fa5b0cfdb11babb651fed61142da299;hb=8fcb874a6e5ec52b4a6ac80cb7f34c7baccd8c17;hp=8351552d1f4f7c33939bc31431e596ce8a90727f;hpb=2d1ee64f68cd36284bd180559e91b84a8c10dd3c;p=icn.git

diff --git a/tools/collect.sh b/tools/collect.sh
index 8351552..05450c2 100755
--- a/tools/collect.sh
+++ b/tools/collect.sh
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
-
-
-set -ex
+set -eux -o pipefail
 
 SCRIPT_PATH=`realpath $0`
 TOOL_PATH=`dirname "$SCRIPT_PATH"`