diff options
Diffstat (limited to 'tools/jafter')
| -rwxr-xr-x | tools/jafter | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/jafter b/tools/jafter index 113a8a9..bf99dee 100755 --- a/tools/jafter +++ b/tools/jafter @@ -9,8 +9,10 @@ re=/usr/share/java/regexp.jar go=/usr/share/java/gnu-getopt.jar bus= +NOIPV6=-Djava.net.preferIPv4Stack=true + if [ "$IVYBUS" ]; then bus="-DIVYBUS=${IVYBUS}" fi -java -classpath ${jar}:${re}:${go} $bus fr.dgac.ivy.tools.After "$@" +java ${NOIPV6} -classpath ${jar}:${re}:${go} $bus fr.dgac.ivy.tools.After "$@" |