#!/bin/sh
srcdir=`dirname $0`
exec $srcdir/src/build-system/configure --srcdir=$srcdir ${1+"$@"}
0001
0002
0003