build: split Doxygen output to a separate log
Change-Id: Ifd5a5df7eb468886e72d887f4e29f8dc9723154d Signed-off-by: Daniel Verkamp <daniel.verkamp@intel.com>
This commit is contained in:
parent
88a7271315
commit
4129b85f6f
@ -72,7 +72,7 @@ fi
|
|||||||
|
|
||||||
timing_enter doxygen
|
timing_enter doxygen
|
||||||
if hash doxygen; then
|
if hash doxygen; then
|
||||||
(cd "$rootdir"/doc; $MAKE $MAKEFLAGS)
|
(cd "$rootdir"/doc; $MAKE $MAKEFLAGS) &> "$out"/doxygen.log
|
||||||
mkdir -p "$out"/doc
|
mkdir -p "$out"/doc
|
||||||
mv "$rootdir"/doc/output/html "$out"/doc
|
mv "$rootdir"/doc/output/html "$out"/doc
|
||||||
rm -rf "$rootdir"/doc/output
|
rm -rf "$rootdir"/doc/output
|
||||||
|
Loading…
Reference in New Issue
Block a user