chiark / gitweb /
More error handling: set -e, set -o pipefail
[modbot-ulm.git] / stump / bin / submitFailed
index 938d341f27d77bbb0d5da2520cb0752f237c3a9b..43bc12688a0112c46de419589858b25e6cd689a6 100755 (executable)
@@ -1,4 +1,6 @@
-#!/bin/sh
+#!/bin/bash
+
+set -e
 
 cd $MNG_ROOT/tmp