2002-02-15 00:34:13 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
autoconf
|
2002-05-21 19:08:42 +02:00
|
|
|
if [ x"$NO_CONFIGURE" = "x" ]; then
|
|
|
|
|
echo " + Running 'configure $@':"
|
|
|
|
|
if [ -z "$*" ]; then
|
|
|
|
|
echo " ** If you wish to pass arguments to ./configure, please"
|
|
|
|
|
echo " ** specify them on the command line."
|
|
|
|
|
fi
|
|
|
|
|
./configure ${1+"$@"} && echo "Now type 'make' to compile" || exit 1
|
|
|
|
|
fi
|
2002-02-15 00:34:13 +01:00
|
|
|
|
