# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1189785468 0
# Node ID 38720321dad02cf560f4a222c9977b2ca6675e15
# Parent  8a2c53a1b263750f67eadf5cf9befa735b0af5e1
Kill off bashisms in ./configure (thanks to Enrico Weigelt <weigelt@metux.de>).

diff -r 8a2c53a1b263 -r 38720321dad0 configure
--- a/configure	Wed Sep 12 20:44:15 2007 +0000
+++ b/configure	Fri Sep 14 15:57:48 2007 +0000
@@ -124,7 +124,8 @@
 # Check bash is present, and at least version 3.0
 [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash"
 bash_version=$(/bin/bash --version |head -n 1 |cut -d ' ' -f 4)
-[ ${bash_version//%.*} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
+bash_major=$(echo "${bash_version}" |sed -e 's/\..*//g;')
+[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
 
 sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \
        -e "s,@@LIBDIR@@,${LIBDIR},g;"   \