#!/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 "$@"