chiark / gitweb /
More error handling: set -e, set -o pipefail
[modbot-ulm.git] / stump / bin / preApprove
index bb0baa5b95a80a1a43eccc5ed09813437b37f55a..e9ab9d43391ac95b59eb166d5221cd9b946b30b2 100755 (executable)
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 if [ "x$@" = "x" ]; then
 
   cat >> $MNG_ROOT/data/good.guys.list