Re: [Xen-devel] [PATCH 1/1] tools/configure: remove redundancy

2019-10-23 Thread Marek Marczykowski-Górecki
On Wed, Oct 23, 2019 at 11:48:41AM +0300, K. Kahurani wrote: > This piece of code is redundant and results in a garbage error > message on systems that do not have a default python executable. > > Signed-off-by: K. Kahurani > --- > tools/configure | 4 +--- > 1 file changed, 1 insertion(+), 3 de

[Xen-devel] [PATCH 1/1] tools/configure: remove redundancy

2019-10-23 Thread K. Kahurani
This piece of code is redundant and results in a garbage error message on systems that do not have a default python executable. Signed-off-by: K. Kahurani --- tools/configure | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/tools/configure b/tools/configure index 82947ad..a