#!/bin/sh

# jdiff script by gil

# Source functions library
. /usr/share/java-utils/java-functions

# Source system prefs
if [ -f /etc/java/jdiff.conf ] ; then
  . /etc/java/jdiff.conf
fi

# Source user prefs
if [ -f $HOME/.jdiffrc ] ; then
  . $HOME/.jdiffrc
fi

# Configuration
MAIN_CLASS="jdiff.JDiff"
BASE_FLAGS=
BASE_OPTIONS=
BASE_JARS="jdiff xerces-j2 ant.jar ant-launcher.jar ../jvm/java/lib/tools"

# Set parameters
set_jvm
set_classpath $BASE_JARS
set_flags $BASE_FLAGS
set_options $BASE_OPTIONS

# Let's start
run "$@"