Index: configure
===================================================================
--- configure	(révision 29184)
+++ configure	(copie de travail)
@@ -1501,12 +1501,12 @@
 # Check how to call 'head' and 'tail'. Newer versions spit out warnings
 # if used as 'head -1' instead of 'head -n 1', but older versions don't
 # know about '-n'.
-if test "$((echo line1 ; echo line2) | head -1 2>/dev/null)" = "line1" ; then
+if test "$( (echo line1 ; echo line2) | head -1 2>/dev/null)" = "line1" ; then
   _head() { head -$1 2>/dev/null ; }
 else
   _head() { head -n $1 2>/dev/null ; }
 fi
-if test "$((echo line1 ; echo line2) | tail -1 2>/dev/null)" = "line2" ; then
+if test "$( (echo line1 ; echo line2) | tail -1 2>/dev/null)" = "line2" ; then
   _tail() { tail -$1 2>/dev/null ; }
 else
   _tail() { tail -n $1 2>/dev/null ; }