# HG changeset patch # User HackEso # Date 1568806751 0 # Node ID 53d94403e9f76964e50c6f1be2b42d0dca425d97 # Parent 7749e14b20649afd7b3e9992c3f99c6aecb4b0f6 rm bin/js diff -r 7749e14b2064 -r 53d94403e9f7 bin/js --- a/bin/js Tue Sep 17 22:32:18 2019 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,22 +0,0 @@ -#!/bin/sh - -JAVA_CMD="/usr/bin/java" -JAVA_OPTS="" -JAVA_CLASSPATH="/usr/share/java/js.jar:/usr/share/java/jline.jar" -JAVA_MAIN="org.mozilla.javascript.tools.shell.Main" - -## Fix for #512498 -## Change Bootclasspath when using OpenJDK because OpenJDK6 -## bundle his own release of Rhino. -## References: -## -## -## -isOpenJDK=`$JAVA_CMD -version 2>&1 | grep -i "OpenJDK" | wc -l` -if [ $isOpenJDK -gt 0 ] -then - JAVA_OPTS="-Xbootclasspath:/usr/lib/jvm/java-6-openjdk/jre/lib/rt.jar" -fi - - -$JAVA_CMD -classpath $JAVA_CLASSPATH $JAVA_MAIN -e "$*"