#!/bin/sh # This silliness is because Chris wants the autoconf-related files # and makefiles not to appear in the top-level directory. Fine by # me, I don't much care. This script just needs to invoke the real # configure script... config=`echo $0 | sed -e 's,configure$,config/configure,'` if test ! -d obj ; then mkdir obj fi if test -n "$1" ; then sh $config "$@" else sh $config fi