From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gerald@pfeifer.com>
Received: from hamza.pair.com (hamza.pair.com [209.68.5.143])
 by sourceware.org (Postfix) with ESMTPS id 3E4A9385E82F
 for <overseers@gcc.gnu.org>; Sun, 15 Mar 2020 08:55:32 +0000 (GMT)
Received: from hamza.pair.com (localhost [127.0.0.1])
 by hamza.pair.com (Postfix) with ESMTP id D0CB233E6B;
 Sun, 15 Mar 2020 04:55:31 -0400 (EDT)
Received: from [192.168.43.222] (ip-109-40-1-32.web.vodafone.de [109.40.1.32])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256
 bits)) (No client certificate requested)
 by hamza.pair.com (Postfix) with ESMTPSA id CE5FF33E6A;
 Sun, 15 Mar 2020 04:55:30 -0400 (EDT)
Date: Sun, 15 Mar 2020 09:55:24 +0100 (CET)
From: Gerald Pfeifer <gerald@pfeifer.com>
To: David Malcolm <dmalcolm@redhat.com>
cc: overseers@gcc.gnu.org, Jakub Jelinek <jakub@redhat.com>
Subject: Re: /usr/bin/sphinx-1.0-build: Command not found
In-Reply-To: <02a6a5c8a7dd0b30502912c0eb6989d6a1a0615d.camel@redhat.com>
Message-ID: <alpine.LSU.2.21.2003150953260.4184@anthias.pfeifer.com>
References: <alpine.LSU.2.21.2003142338100.4184@anthias.pfeifer.com>
 <02a6a5c8a7dd0b30502912c0eb6989d6a1a0615d.camel@redhat.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
X-Spam-Status: No, score=0.0 required=5.0 tests=SPF_HELO_NONE,
 SPF_PASS autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: overseers@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Overseers mailing list <overseers.sourceware.org>
List-Unsubscribe: <http://sourceware.org/mailman/options/overseers>,
 <mailto:overseers-request@sourceware.org?subject=unsubscribe>
List-Archive: <http://sourceware.org/pipermail/overseers/>
List-Post: <mailto:overseers@sourceware.org>
List-Help: <mailto:overseers-request@sourceware.org?subject=help>
List-Subscribe: <http://sourceware.org/mailman/listinfo/overseers>,
 <mailto:overseers-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Sun, 15 Mar 2020 08:55:33 -0000

On Sat, 14 Mar 2020, David Malcolm wrote:
> [CCing Jakub]
> 
> Jakub committed a patch for this on Thursday to the gcc repository:
> 
> https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=a0ae4cbe9d1430b32f674b862a6d8dce0ed81f2a
> 
> which I believe ought to fix it (assuming the box in question is now
> running RHEL 8).

Yes, last night I then noticed that the script on gcc.gnu.org had not 
been updated - alas my follow-up mail got stuck.

I updated the script in the gccadmin account and ran it again - 
successfully this time.

And I will also make the script itself a bit more resilient.

Thanks,
Gerald