summaryrefslogtreecommitdiff
blob: cf9f73db87335c3e263fde9e578175fba7eb764b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#! /bin/sh

if [ -z "$JAVA_HOME" ] ; then
	echo "!!! JAVA_HOME not set"
	exit -1
fi

newcp=""
for i in antlr makeme ; do
	newcp=`cat < /usr/share/$i/eclasspath`:${newcp}
done

CLASSPATH=${newcp}:${CLASSPATH}

${JAVA_HOME}/bin/java -cp ${CLASSPATH} gnu.makeme.MakeMe $*