1f33d31a3Smrg#! /bin/sh 2f33d31a3Smrg 3f33d31a3Smrgsrcdir=`dirname $0` 4f33d31a3Smrgtest -z "$srcdir" && srcdir=. 5f33d31a3Smrg 6f33d31a3SmrgORIGDIR=`pwd` 7f33d31a3Smrgcd $srcdir 8f33d31a3Smrg 9f33d31a3Smrgautoreconf -v --install || exit 1 10f33d31a3Smrgcd $ORIGDIR || exit $? 11f33d31a3Smrg 12f33d31a3Smrgif test -z "$NOCONFIGURE"; then 13f33d31a3Smrg $srcdir/configure "$@" 14f33d31a3Smrgfi 15