From 6ba98a9f9f48e13738d9736cba9c45b5e94f42f2 Mon Sep 17 00:00:00 2001
From: Brian Cully <bjc@kublai.com>
Date: Mon, 14 Apr 2008 21:52:55 -0400
Subject: Initial import

---
 tools/build | 53 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100755 tools/build

(limited to 'tools/build')

diff --git a/tools/build b/tools/build
new file mode 100755
index 0000000..7a374f0
--- /dev/null
+++ b/tools/build
@@ -0,0 +1,53 @@
+#!/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 $*
-- 
cgit v1.2.3