#!/bin/sh
# Author: Jeff Dalton
# Updated: Sat May 20 15:12:43 2006 by Jeff Dalton
# Copyright: (c) 2001 - 2006, AIAI, University of Edinburgh

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

cpath=$ix/java:$ix/java-listofs:$ix/java-ide:$ix/resources

exec java -classpath java ix.util.AgentLauncher "$@"
