Re: [PATCH v1 06/11] configure: redirect sphinx-build check to config.log

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 > --- > configure | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Reviewed-by: Richard Henderson r~

Re: [PATCH v1 06/11] configure: redirect sphinx-build check to config.log

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 --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 233c671aaa9..a207cce82bc 100755 --- a/configure +++ b/configure @@ -493

[PATCH v1 06/11] configure: redirect sphinx-build check to config.log

Otherwise it's hard to debug whats going on. Signed-off-by: Alex Bennée --- 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() { #