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).

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.