From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-1.mimecast.com (us-smtp-delivery-1.mimecast.com [207.211.31.120]) by sourceware.org (Postfix) with ESMTP id 7FB5B381DCF9 for ; Sun, 15 Mar 2020 14:28:04 +0000 (GMT) Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-225-PHd-aZ41M9qijx9we0CAjQ-1; Sun, 15 Mar 2020 10:28:00 -0400 X-MC-Unique: PHd-aZ41M9qijx9we0CAjQ-1 Received: from smtp.corp.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id 1A26A1402; Sun, 15 Mar 2020 14:27:59 +0000 (UTC) Received: from ovpn-116-56.phx2.redhat.com (ovpn-116-56.phx2.redhat.com [10.3.116.56]) by smtp.corp.redhat.com (Postfix) with ESMTP id 5ED7560BFB; Sun, 15 Mar 2020 14:27:58 +0000 (UTC) Message-ID: <168f25dad731f5758ac210c8d28d3897ff947a5d.camel@redhat.com> Subject: Re: /usr/bin/sphinx-1.0-build: Command not found From: David Malcolm To: Gerald Pfeifer Cc: overseers@gcc.gnu.org, Jakub Jelinek Date: Sun, 15 Mar 2020 10:27:56 -0400 In-Reply-To: References: <02a6a5c8a7dd0b30502912c0eb6989d6a1a0615d.camel@redhat.com> User-Agent: Evolution 3.32.5 (3.32.5-1.fc30) MIME-Version: 1.0 X-Scanned-By: MIMEDefang 2.79 on 10.5.11.12 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-0.2 required=5.0 tests=DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE, 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 15 Mar 2020 14:28:05 -0000 On Sun, 2020-03-15 at 09:55 +0100, Gerald Pfeifer wrote: > 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. Excellent - thanks, Gerald and Jakub. > And I will also make the script itself a bit more resilient. > > Thanks, > Gerald Dave