#!/bin/sh
# Author: Jeff Dalton
# Updated: Sun Apr 18 18:20:25 2004 by Jeff Dalton
# Copyright: (c) 2004, AIAI, University of Edinburgh

this_dir=`dirname "$0"`
export ix=$this_dir/..

exec $ix/etc/path-java ix.iplan.AutoTester "$@"
