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