diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/jprobe | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/jprobe b/tools/jprobe index 1d96420..c85a29e 100755 --- a/tools/jprobe +++ b/tools/jprobe @@ -8,5 +8,10 @@ jar=/usr/share/java/ivy.jar re=/usr/share/java/regexp.jar go=/usr/share/java/gnu.getopt.jar #jar=../lib/ivy-java-1.2.6.jar +bus= -/usr/bin/java -classpath ${jar}:${re}:${go} fr.dgac.ivy.Probe "$@" +if [ "$IVYBUS" ]; then + bus="-DIVYBUS=${IVYBUS}" +fi + +java -classpath ${jar}:${re}:${go} $bus fr.dgac.ivy.tools.Probe "$@" |