#!/bin/sh

#this script runs the debugger tool. It can only be used in Samoa,
#because that is where JAVA5 can be found.

JAVA5="/misc/usr/local/java/jdk1.5.0_04/bin/java"

case $# in
  2)
     $JAVA5 RegAlloc.RalfTools.Debugger $1 $2;
  ;;
  *)
     echo 1>&2 "Usage: $0 file.dat file.out";
     exit 1;
  ;;
esac
