chiark / gitweb /
Merge branch 'master' of /u/webstump/live-urcm
[modbot-mtm.git] / stump / bin / processApproved
index 615d0c17ccee00bd12715f9409c20f9fcdfcb51e..1b2f17642ae80b0eeee4629dfb2e2bdc1222ce18 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -ex
 set -o pipefail
 
 NEWSBIN=/var/lib/newsbin; export NEWSBIN