#!/bin/sh this_dir=`dirname $0` rat_exe=${this_dir}/rat_${RATSYSTEM} if [ -x ${rat_exe} ]; then ${rat_exe} $* else echo "RAT has not been built yet. Please run the following commands:" echo " cd $RATROOT" echo " scons" exit 2 fi