Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:12.2
gjdoc
gjdoc-0.7.8-gjdoc.sh.in.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File gjdoc-0.7.8-gjdoc.sh.in.patch of Package gjdoc
Index: gjdoc-0.7.8/gjdoc.sh.in =================================================================== --- gjdoc-0.7.8.orig/gjdoc.sh.in +++ gjdoc-0.7.8/gjdoc.sh.in @@ -26,7 +26,8 @@ version=@VERSION@ ANTLR_JAR=@ANTLR_JAR@ if [ -z "${JAVA}" ]; then - if [ -n "$JAVA_HOME" ]; then + if [ -n "$JAVA_HOME" -a -e "${JAVA_HOME}/bin/java" ] + then JAVA="${JAVA_HOME}/bin/java" elif [ -x "${prefix}/bin/java" ]; then JAVA="${prefix}/bin/java"
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor