#!/bin/sh
#
# $Id: configure,v 1.3 2001/10/23 15:39:08 nwp Exp $
#
if [ ! -x config/configure ]; then
	chmod a+x config/configure
fi
cd config
./configure $*
cd ..
