Also for stats report which repo and which job number use our setup

[neurodebian.git] / tools / nd_build4debianmain

diff --git a/tools/nd_build4debianmain b/tools/nd_build4debianmain
index 065cfa6d38efd6ab7e162403089de2b5d94627dd..e722153442f17c85d771a4f168c4c4fd958d4162 100755 (executable)
--- a/tools/nd_build4debianmain
+++ b/tools/nd_build4debianmain
@@ -13,9 +13,11 @@ EOT
 exit 1
 fi
 
+set -e
+
 # common options
 dscfile=$1
 shift;
 
 nd_updatedist debian sid amd64
-nd_build debian sid amd64 $dscfile $*
+nd_build debian sid amd64 $dscfile "$@"