#!/bin/sh

basedir=$(dirname "$_")
basedir=$(cd "$basedir" && pwd)

echo "Adding tools/ to path"
PATH="$basedir/tools:$PATH"