Merge commit '700824d3e9bce9219819e4e5096ab94da301d44b' from branch bernard/master

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

diff --git a/mop/admin/mo-back-grab.sh b/mop/admin/mo-back-grab.sh
index 5628034e6d0dd381a9830ecdcc19f6cddafbfdbb..bfdf71ca567ed19a6bb5eeddbaf25e83230151b3 100755 (executable)
--- a/mop/admin/mo-back-grab.sh
+++ b/mop/admin/mo-back-grab.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 copy them to solutions/.
+

 if [ -z "$1" ] ; then
        echo "Directory name expected"
        exit 1
 if [ -z "$1" ] ; then
        echo "Directory name expected"
        exit 1