#!/bin/sh 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 ;; Darwin) target=darwin ;; *) 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 $*