1#!/bin/sh
2
3if [ -z "$1" ]; then
4	echo "Usage: install-rev [revision-number]"
5	exit 1
6fi
7REV="$1"
8MAKE=make
9gmake --help >/dev/null 2>&1
10[ $? = 0 ] && MAKE=gmake
11
12# find root
13cd "$(dirname "$PWD/$0")" ; cd ..
14if [ -d .git ]; then
15	echo git checkout "${REV}"
16	git checkout "${REV}"
17fi
18
19./sys/build.sh && sudo ${MAKE} symstall
20