On 4/9/20 11:15 PM, Alex Bennée wrote:
> Otherwise it's hard to debug whats going on.
>
> Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
> ---
> configure | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/configure b/configure
> index 233c671aaa9..a207cce82bc 100755
> --- a/configure
> +++ b/configure
> @@ -4936,7 +4936,7 @@ 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" -c "$source_path/docs" -b html "$TMPDIR1/sphinx" "$TMPDIR1/sphinx/out" >/dev/null 2>&1
> + "$sphinx_build" -c "$source_path/docs" -b html "$TMPDIR1/sphinx" "$TMPDIR1/sphinx/out" >> config.log 2>&1
> }
>
> # Check if tools are available to build documentation.
>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>