Author: Laszlo Kajan <lkajan@rostlab.org>
Description: fixing shell - bash is meant instead of sh
Forwarded: http://lists.alioth.debian.org/pipermail/debian-med-packaging/2012-August/016975.html
--- a/util/compile.sh
+++ b/util/compile.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # This script builds dependent modules
 
--- a/etc/createdoc.sh
+++ b/etc/createdoc.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 #  File:  createdoc.sh
 #
--- a/etc/platform.sh
+++ b/etc/platform.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 #  File:  platform.sh
 #  Date:  6-Aug-97  J. Westbrook
