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 5fa7181bde7158bbebe9c2e12524baf4158c683c..bfdf71ca567ed19a6bb5eeddbaf25e83230151b3 100755 (executable)
--- a/mop/admin/mo-back-grab.sh
+++ b/mop/admin/mo-back-grab.sh
@@ -1,4 +1,4 @@
-#!/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/.