#!/bin/sh
#
# $Id: configure,v 1.2 2001/04/06 03:42:45 rv Exp $
#
if [ ! -x config/configure ]; then
	chmod a+x config/configure
fi
cd config
./configure $*
cd ..
