diff options
Diffstat (limited to 'jpl/JNI')
| -rw-r--r-- | jpl/JNI/JNI.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jpl/JNI/JNI.pm b/jpl/JNI/JNI.pm index 82bedf9c62..45a92df8d9 100644 --- a/jpl/JNI/JNI.pm +++ b/jpl/JNI/JNI.pm @@ -229,7 +229,7 @@ if (not $JPL::_env_) { $ENV{THREADS_TYPE} ||= "green_threads"; $JAVALIB = "$ENV{JAVA_HOME}/lib/$arch/$ENV{THREADS_TYPE}"; - $ENV{$Config{ldlibpthname}":$JAVALIB"; + $ENV{$Config{ldlibpthname}} .= ":$JAVALIB"; $JVM = GetJavaVM("$JAVALIB/libjava.so",@JVM_ARGS); } |