| Message ID | 20200409211529.5269-7-alex.bennee@linaro.org |
|---|---|
| State | New |
| Headers | show |
| Series | more random fixes | expand |
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>
On 4/9/20 2: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(-) Reviewed-by: Richard Henderson <richard.henderson@linaro.org> r~
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.
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(-) -- 2.20.1