Applied patch from Stephane Fillod to make configure run with bash

[melted] / configure

diff --git a/configure b/configure
index 2474216..752e983 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 function show_help
 {