From d28f0587149ab3086e3978c1251909c1742e6240 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Fri, 4 Jun 2010 18:03:00 -0400
Subject: don't require /bin/bash

We don't have BASH on District10 at the moment, and the scripts
work just fine with busybox's /bin/sh replacement (ash).
---
 setsched  | 2 +-
 showsched | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/setsched b/setsched
index 0714f46..df38558 100755
--- a/setsched
+++ b/setsched
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 #
 # setsched: facilitate changing the active scheduler plugin.
 
diff --git a/showsched b/showsched
index d6f6d3a..a936e05 100755
--- a/showsched
+++ b/showsched
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 #
 # showsched: show the currently active plugin and exit.
 
-- 
cgit v1.2.2