diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index c906e0e6c82f..1355f3c0da72 100644 --- a/configure.ac +++ b/configure.ac @@ -6354,7 +6354,12 @@ if test "$SOLAR_JAVA" != ""; then JAVADOC=`cygpath -d "$JAVADOC"` JAVADOC=`cygpath -u "$JAVADOC"` fi + + if test `$JAVADOC --version 2>&1 | $GREP -c "gjdoc"` -gt 0; then + JAVADOCISGJDOC="yes" + fi fi +AC_SUBST(JAVADOCISGJDOC) if test "$SOLAR_JAVA" != ""; then # check if JAVA_HOME was (maybe incorrectly?) set automatically to /usr |