diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/configure.ac b/configure.ac index b9810f36f2e0..765bf72bd1b8 100644 --- a/configure.ac +++ b/configure.ac @@ -7147,10 +7147,12 @@ else DOXYGEN=$with_doxygen AC_MSG_RESULT([$DOXYGEN]) fi - DOXYGEN_VERSION=`$DOXYGEN --version 2>/dev/null` - DOXYGEN_NUMVERSION=`echo $DOXYGEN_VERSION | $AWK -F. '{ print \$1*10000 + \$2*100 + \$3 }'` - if ! test "$DOXYGEN_NUMVERSION" -ge "10804" ; then - AC_MSG_ERROR([found doxygen is too old; need at least version 1.8.4 or specify --without-doxygen]) + if test -n "$DOXYGEN"; then + DOXYGEN_VERSION=`$DOXYGEN --version 2>/dev/null` + DOXYGEN_NUMVERSION=`echo $DOXYGEN_VERSION | $AWK -F. '{ print \$1*10000 + \$2*100 + \$3 }'` + if ! test "$DOXYGEN_NUMVERSION" -ge "10804" ; then + AC_MSG_ERROR([found doxygen is too old; need at least version 1.8.4 or specify --without-doxygen]) + fi fi fi fi |