blob: 40c1af123b660fe54a775a75c17516d54414c0b8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
$FreeBSD$
--- bin/jext 2002/03/05 12:28:20 1.1
+++ bin/jext 2002/03/05 12:31:15
@@ -26,6 +26,10 @@
exit 0
fi
+JEXT_HOME=%%JEXT_HOME%%
+export JEXT_HOME
+JAVA_CMD=%%JAVAVM%%
+
# Guess for JEXT_HOME if not set already
if [ -z "$JEXT_HOME" ] ; then
# strip "/bin/sometext" from script path
@@ -59,11 +63,11 @@
# Directories are done
##
-if [ "$JAVA_HOME" = "" ] ; then
- echo "You have not set the JAVA_HOME environment variable."
- echo "I'll still load Jext but you may encounter font warnings"
- echo "and other nasties."
-fi
+#if [ "$JAVA_HOME" = "" ] ; then
+# echo "You have not set the JAVA_HOME environment variable."
+# echo "I'll still load Jext but you may encounter font warnings"
+# echo "and other nasties."
+#fi
# Allows for those with varying JDKs and standard calls to java
if [ -z "$JAVA_CMD" ] ; then
|
