configure: add evil hack to disable doxygen on a certain tinderbox

Change-Id: I7cd84408d2963e2767cc415b2fb48e5a0a27d84f
This commit is contained in:
Michael Stahl
2013-06-04 18:13:45 +02:00
parent b5bd2d1d8d
commit ea9b4a6946
+1 -1
View File
@@ -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])