Re: [PATCH] Fix up dg-extract-results.sh

2019-04-17 Thread Christophe Lyon
On Wed, 17 Apr 2019 at 18:44, Mike Stump wrote: > > On Apr 17, 2019, at 8:59 AM, Jakub Jelinek wrote: > > Ok for trunk? > > Ok. Thanks!

Re: [PATCH] Fix up dg-extract-results.sh

2019-04-17 Thread Mike Stump
On Apr 17, 2019, at 8:59 AM, Jakub Jelinek wrote: > Ok for trunk? Ok.

[PATCH] Fix up dg-extract-results.sh

2019-04-17 Thread Jakub Jelinek
Hi! On Tue, Apr 16, 2019 at 09:26:46PM +0200, Christophe Lyon wrote: > > Actually, I managed to reproduce in a Fedora 31 chroot, in which I don't > > have /usr/bin/python installed (I think in Fedora 30+ there is > > /usr/bin/python2 and /usr/bin/python3 but not /usr/bin/python, at least not > >