--- a/hotspot/make/hotspot.script Fri Dec 02 11:07:27 2016 +0100
+++ b/hotspot/make/hotspot.script Mon Dec 05 17:57:43 2016 +0100
@@ -124,15 +124,14 @@
# We will set the LD_LIBRARY_PATH as follows:
# o $JVMPATH (directory portion only)
-# o $JRE/lib/$ARCH
+# o $JRE/lib
# followed by the user's previous effective LD_LIBRARY_PATH, if
# any.
JRE=$JDK
JAVA_HOME=$JDK
export JAVA_HOME
-ARCH=@@LIBARCH@@
-SBP=${MYDIR}:${JRE}/lib/${ARCH}
+SBP=${MYDIR}:${JRE}/lib
# Set up a suitable LD_LIBRARY_PATH or DYLD_LIBRARY_PATH