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

diff --git a/tools/collect.sh b/tools/collect.sh
index e8a1bde..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"`
@@ -13,10 +11,9 @@ mkdir -p $ICN_PATH/apt/deb/
 
 # Call scripts to collect everything from Internet,
 # all the collected files need to be put under ICN_PATH
-for collect_sh in `find icn/ -name collect_*.sh | sort`
-do
-  collect_parent=`dirname $collect_sh`
-  pushd $collect_parent
+for collect_sh in `find icn/ -name collect_*.sh | sort`; do
+    collect_parent=`dirname $collect_sh`
+    pushd $collect_parent
     bash `basename $collect_sh` $ICN_PATH
-  popd
+    popd
 done