# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1309810885 -7200
# Node ID 737e57d56ddf5051213f01bcbac9e399313118f7
# Parent  288e460c3656eedfc877381a57a1586976c709e8
configure: portability fixes

It is useful to sometime run on a strictly POSIX-compliant shell... :-/

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>