]> mj.ucw.cz Git - eval.git/blobdiff - mop/admin/mo-back-status.sh
MO-P: Remote submit is not default any longer
[eval.git] / mop / admin / mo-back-status.sh
index 1a51fb5e02ad74eb7b3de98cd38ab5dac7969a25..5c4088fc1ac664f0164f76533b2dbc226e96bf54 100755 (executable)
@@ -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 print their status.