diff -r 39beb1c7542a -r 7d5130f2f8ab configure
--- a/configure	Thu Sep 13 09:02:56 2007 +0200
+++ b/configure	Tue Sep 18 09:02:38 2007 +0200
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 #
 # Copyright (C) 2004 Edouard TISSERRANT, Laurent BESSARD