#!/bin/sh
#----------------------------------------------------------------------
# $Header: svn+ssh://kcase.org/Source/svn/kcase/tags/bb/2.6/build 178 2004-05-05 06:09:03Z kc $

BASENAME=`basename $0`
DIR=`echo $0 | sed s/$BASENAME//`
. ${DIR}config
if [ x${SERVER} = x ]; then
	SERVER_ARGS=""
else
	SERVER_ARGS="BUILD_SERVER=bin/server SERVER=\"$SERVER\" DUMMY_SERVER=\"$SERVER\""
fi
COPTS="$COPTS -Dsignal_t=${SIGNAL_T-void}"
echo "Building in `pwd`: make $*"
exec make -f Makefile.build \
	CC="$CC" \
	COPTS="$COPTS" \
	INSTALL_DIR="$INSTALL_DIR" \
	GROFF="$GROFF" \
	HELPFILE="$HELPFILE" \
	$SERVER_ARGS \
	LIBS="$LIBS" \
	NDBM_COPTS="$NDBM_COPTS" \
	NDBM_LIBS="$NDBM_LIBS" \
	$*
