diff options
| author | fanquake <fanquake@gmail.com> | 2020-06-17 18:27:00 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-06-17 18:27:00 +0800 |
| commit | fa84edb93c85f7709fc53abf9c6daae5d1bb3b28 (patch) | |
| tree | 2a93e4e754cde16f32172151942c045697833493 /configure.ac | |
| parent | 5cafb46fef3f105186eb9416b6362e9c0d1f4542 (diff) | |
build: don't warn when doxygen isn't found
Doxygen isn't so important that we need to warn when it is missing. I'd
assume it might even be missing more often than not for most builds.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 474d8a7919..12bece6903 100644 --- a/configure.ac +++ b/configure.ac @@ -111,9 +111,6 @@ AC_PATH_TOOL(READELF, readelf) AC_PATH_TOOL(CPPFILT, c++filt) AC_PATH_TOOL(OBJCOPY, objcopy) AC_PATH_PROG(DOXYGEN, doxygen) -if test -z "$DOXYGEN"; then - AC_MSG_WARN([Doxygen not found]) -fi AM_CONDITIONAL([HAVE_DOXYGEN], [test -n "$DOXYGEN"]) AC_ARG_VAR(PYTHONPATH, Augments the default search path for python module files) |