#!/bin/shprogname=$0# Find the directory where the script is found.# The second sed call is to convert `.//configure' to `./configure'.srcdir=`echo $0 | sed 's|//|/|' | sed 's|/[^/]*$||'`if [ x$srcdir = x$0 ]thensrcdir=.fi$srcdir/config.gcc $*