chiark
/
gitweb
/
~webstump
/
modbot-mtm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'master' of /u/webstump/live-urcm
[modbot-mtm.git]
/
stump
/
bin
/
processApproved
diff --git
a/stump/bin/processApproved
b/stump/bin/processApproved
index 615d0c17ccee00bd12715f9409c20f9fcdfcb51e..1b2f17642ae80b0eeee4629dfb2e2bdc1222ce18 100755
(executable)
--- a/
stump/bin/processApproved
+++ b/
stump/bin/processApproved
@@
-1,6
+1,6
@@
#!/bin/bash
-set -e
+set -e
x
set -o pipefail
NEWSBIN=/var/lib/newsbin; export NEWSBIN