[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PULL 2/8] configure: redirect sphinx-build check to config.log
From: |
Alex Bennée |
Subject: |
[PULL 2/8] configure: redirect sphinx-build check to config.log |
Date: |
Wed, 15 Apr 2020 11:42:05 +0100 |
Otherwise it's hard to debug whats going on.
Signed-off-by: Alex Bennée <address@hidden>
Reviewed-by: Philippe Mathieu-Daudé <address@hidden>
Reviewed-by: Richard Henderson <address@hidden>
Message-Id: <address@hidden>
diff --git a/configure b/configure
index 9b1f5b33e45..25f7d915720 100755
--- a/configure
+++ b/configure
@@ -4942,7 +4942,9 @@ has_sphinx_build() {
# sphinx-build doesn't exist at all or if it is too old.
mkdir -p "$TMPDIR1/sphinx"
touch "$TMPDIR1/sphinx/index.rst"
- "$sphinx_build" $sphinx_werror -c "$source_path/docs" -b html
"$TMPDIR1/sphinx" "$TMPDIR1/sphinx/out" >/dev/null 2>&1
+ "$sphinx_build" $sphinx_werror -c "$source_path/docs" \
+ -b html "$TMPDIR1/sphinx" \
+ "$TMPDIR1/sphinx/out" >> config.log 2>&1
}
# Check if tools are available to build documentation.
--
2.20.1
- [PULL for 5.0-rc3 0/8] a few small fixes (docker, user, pie and gdbstub), Alex Bennée, 2020/04/15
- [PULL 2/8] configure: redirect sphinx-build check to config.log,
Alex Bennée <=
- [PULL 1/8] tests/docker: add docs FEATURE flag and use for test-misc, Alex Bennée, 2020/04/15
- [PULL 3/8] configure: disable PIE for Windows builds, Alex Bennée, 2020/04/15
- [PULL 4/8] linux-user: fix /proc/self/stat handling, Alex Bennée, 2020/04/15
- [PULL 7/8] gdbstub: Do not use memset() on GByteArray, Alex Bennée, 2020/04/15
- [PULL 8/8] gdbstub: Introduce gdb_get_float32() to get 32-bit float registers, Alex Bennée, 2020/04/15
- [PULL 5/8] target/m68k/helper: Fix m68k_fpu_gdb_get_reg() use of GByteArray, Alex Bennée, 2020/04/15
- [PULL 6/8] gdbstub: i386: Fix gdb_get_reg16() parameter to unbreak gdb, Alex Bennée, 2020/04/15
- Re: [PULL for 5.0-rc3 0/8] a few small fixes (docker, user, pie and gdbstub), Peter Maydell, 2020/04/15