From: Martin Mares <mj@ucw.cz>
Date: Sat, 23 Mar 2013 10:38:49 +0000 (+0100)
Subject: Use /bin/bash instead of /bin/sh
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=eb29e74d9003712a22474862596835cad34df092;p=eval.git

Use /bin/bash instead of /bin/sh
---

diff --git a/mop/admin/mo-back-grab.sh b/mop/admin/mo-back-grab.sh
index 5fa7181..bfdf71c 100755
--- 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/.
 
diff --git a/mop/admin/mo-back-status.sh b/mop/admin/mo-back-status.sh
index 1a51fb5..5c4088f 100755
--- a/mop/admin/mo-back-status.sh
+++ b/mop/admin/mo-back-status.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 print their status.
 
diff --git a/mop/admin/mo-backup.sh b/mop/admin/mo-backup.sh
index df05392..9f85532 100755
--- 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
diff --git a/submit/create-certs.sh b/submit/create-certs.sh
index 2e33caa..c52e3d6 100755
--- a/submit/create-certs.sh
+++ b/submit/create-certs.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # A script for creation of all the certificates used by submitd
 # (c) 2007 Martin Mares <mj@ucw.cz>