Fix F-16 sh<->bash compatibility.

diff --git a/bin/errs12 b/bin/errs12
index 1217a17..e7c7e07 100755 (executable)
--- a/bin/errs12
+++ b/bin/errs12
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 # $Id$
 
 renice +19 -p $$; ionice -c3 -p $$