diff options
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index c49eb4f7c5e5..057ad50fc29a 100644 --- a/configure.ac +++ b/configure.ac @@ -6948,7 +6948,7 @@ dnl =================================================================== if test "$enable_odk" = no; then unset DOXYGEN else - if test "$with_doxygen" = no; then + if test "$with_doxygen" = no -o `hostname 2>/dev/null` = "tpa10"; then AC_MSG_CHECKING([for doxygen]) unset DOXYGEN AC_MSG_RESULT([no]) |