Use /bin/bash instead of /bin/sh

[eval.git] / mop / admin / mo-back-status.sh

diff --git a/mop/admin/mo-back-status.sh b/mop/admin/mo-back-status.sh
index e3eecc69c36846056d80f4196eb02f0d18e760d4..5c4088fc1ac664f0164f76533b2dbc226e96bf54 100755 (executable)
--- a/mop/admin/mo-back-status.sh
+++ b/mop/admin/mo-back-status.sh
@@ -1,4 +1,7 @@
-#!/bin/sh
+#!/bin/bash
+# Find all submits in the local copy of contestants' home directories
+# (as created by mo-backup) and print their status.
+
 if [ -z "$1" ] ; then
        echo "Directory name expected"
        exit 1