#!/bin/sh

if [ -z "$1" ]; then
	echo "Usage: install-rev [revision-number]"
	exit 1
fi
REV="$1"
MAKE=make
gmake --help >/dev/null 2>&1
[ $? = 0 ] && MAKE=gmake

# find root
cd `dirname $PWD/$0` ; cd ..
if [ -d .git ]; then
	echo git checkout "${REV}"
	git checkout "${REV}"
fi

./sys/build.sh && sudo ${MAKE} symstall