#!/bin/sh
#
# $Id: build,v 1.1.1.1 2000/02/16 23:32:47 shmit Exp $

os=`uname -s`
rev=`uname -r`
rev_major=`echo $rev | cut -d. -f1`

case $os in
FreeBSD)
	if [ $rev_major -ge 3 ]; then
		target=freebsd
	else
		target=freebsd2
	fi
	;;
Linux)
	target=linux
	;;
SunOS)
	if [ $rev_major -ge 5 ]; then
		target=solaris
	else
		target=sunos
	fi
	;;
*)
	echo "I don't know how to build for your platform, please poke" 1>&2
	echo "around in Makefiles/os and tools/build to get the server" 1>&2
	echo "to work on your platform." 1>&2
	exit 1
	;;
esac

# Figure out which make to use.
make=$1 && shift 1

# Clobber the target makefile if the target of the build is the Makefile.
if [ "$1" = "target" ]; then
	rm -f Makefiles/os/target
	echo "Setting build target to $target."
	ln -s $target Makefiles/os/target && exit 0
	exit 1
fi

# Make sure the OS Makefile is in place.
if [ ! -f Makefiles/os/target ]; then
	echo "Setting build target to $target."
	ln -s $target Makefiles/os/target || exit 1
fi

# Now build the target.
$make MAKE=$make -f Makefiles/build $*