diff options
Diffstat (limited to 'tools/.svn/text-base')
| -rw-r--r-- | tools/.svn/text-base/build.svn-base | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/tools/.svn/text-base/build.svn-base b/tools/.svn/text-base/build.svn-base deleted file mode 100644 index 7a374f0..0000000 --- a/tools/.svn/text-base/build.svn-base +++ /dev/null @@ -1,53 +0,0 @@ -#!/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 $* |