From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <doko@ubuntu.com>
Received: from einhorn-mail-out.in-berlin.de (einhorn-mail-out.in-berlin.de
 [217.197.80.21])
 by sourceware.org (Postfix) with ESMTPS id 8435D3AA981B
 for <gcc-patches@gcc.gnu.org>; Wed, 28 Apr 2021 16:59:06 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 8435D3AA981B
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=ubuntu.com
Authentication-Results: sourceware.org; spf=none smtp.mailfrom=doko@ubuntu.com
X-Envelope-From: doko@ubuntu.com
Received: from authenticated.user (localhost [127.0.0.1]) by
 einhorn.in-berlin.de with ESMTPSA id 13SGx1uC008630
 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT);
 Wed, 28 Apr 2021 18:59:01 +0200
Subject: Re: [Patch] offload-defaulted: Config option to silently ignore
 uninstalled offload compilers
To: Tobias Burnus <tobias@codesourcery.com>,
 gcc-patches <gcc-patches@gcc.gnu.org>,
 Jakub Jelinek <jakub@redhat.com>, Richard Biener <rguenther@suse.de>
References: <15f34348-0053-2f31-0603-fd0eefa33897@codesourcery.com>
 <251870a9-85e8-b69b-2f94-841f7548c3ba@ubuntu.com>
 <e291c835-6376-7639-1141-f2741742f1be@codesourcery.com>
From: Matthias Klose <doko@ubuntu.com>
Message-ID: <8fb858e8-db89-d1e4-8bcf-439aacd95ef0@ubuntu.com>
Date: Wed, 28 Apr 2021 18:59:01 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.8.1
MIME-Version: 1.0
In-Reply-To: <e291c835-6376-7639-1141-f2741742f1be@codesourcery.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, score=-5.3 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 KAM_LAZY_DOMAIN_SECURITY, NICE_REPLY_A, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE,
 SPF_NONE, TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gcc-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 28 Apr 2021 16:59:08 -0000

On 4/28/21 6:56 PM, Tobias Burnus wrote:
> On 28.04.21 16:13, Matthias Klose wrote:
> 
>> On 4/27/21 12:22 PM, Tobias Burnus wrote:
>>> Hence, the distro behaviour is only active when configured with
>>> --enable-offload-defaulted.
>> please document that option in gcc/doc/install.texi.
> 
> Like attached? Or do you have some other wording suggestions?

looks fine.