Merge branch 'container'

[eval.git] / mop / admin / mo-backup.sh

diff --git a/mop/admin/mo-backup.sh b/mop/admin/mo-backup.sh
index df05392e088f6d5c3c7448ba177cf9e3f36abd9e..9f8553274961b28d62a95797f385f38295383e61 100755 (executable)
--- a/mop/admin/mo-backup.sh
+++ b/mop/admin/mo-backup.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # A trivial script to back up contestants' home directories.
 
 if [ -z "$1" ] ; then