configure
changeset 275 7d5130f2f8ab
parent 267 96c688ebcde7
child 278 9d41c53dadac
--- 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