X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=blobdiff_plain;f=verify.sh;h=9e63eeb459298c2573ba079888494871d0730f36;hb=8fcb874a6e5ec52b4a6ac80cb7f34c7baccd8c17;hp=328b8926bd2a6c3ac824de9fb2c7a55e080e82a8;hpb=509525bd5e8f8fa325dee7a2c8a8da831cc70fc9;p=icn.git

diff --git a/verify.sh b/verify.sh
index 328b892..9e63eeb 100755
--- a/verify.sh
+++ b/verify.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -eu -o pipefail
 
 # This file is called by jenkins CI job