change from bin/sh to bin/bash

diff --git a/scripts/Configure b/scripts/Configure
index 0582e3781b37033091ebf1da0fdcd215a34c7f3c..83b7ee76555e85bc6bfe45bcb6ad756a3421a059 100755 (executable)
--- a/scripts/Configure
+++ b/scripts/Configure
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 #
 #  This script was hacked from Linux-2.2.17
 #