24 |
# Set the JAVA_HOME variable to specify the java distribution to be used. |
# Set the JAVA_HOME variable to specify the java distribution to be used. |
25 |
#JAVA_HOME= |
#JAVA_HOME= |
26 |
|
|
27 |
FANTASIA=fantasia.jar |
FANTASIA=Fantasia-0.6a.jar |
28 |
|
|
29 |
# If you want to run fantasia.jar from a different directory |
# If you want to run Fantasia-0.6a.jar from a different directory |
30 |
# you must define FANTASIA_PATH to point to fantasia.jar location. |
# you must define FANTASIA_PATH to point to Fantasia-0.6a.jar location. |
31 |
#FANTASIA_PATH= |
#FANTASIA_PATH= |
32 |
|
|
33 |
if [ -n "$JAVA_HOME" ] ; then |
if [ -n "$JAVA_HOME" ] ; then |