From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:54243) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iXrAW-0002kY-7E for guix-patches@gnu.org; Thu, 21 Nov 2019 13:27:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iXrAV-0007WO-6V for guix-patches@gnu.org; Thu, 21 Nov 2019 13:27:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:44481) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iXrAT-0007Vs-Up for guix-patches@gnu.org; Thu, 21 Nov 2019 13:27:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iXrAT-00078i-Po for guix-patches@gnu.org; Thu, 21 Nov 2019 13:27:01 -0500 Subject: [bug#38312] [PATCH 3/3] guix build: '--keep-failed' implies '--no-offload'. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20191121150358.21044-1-ludo@gnu.org> <20191121150358.21044-2-ludo@gnu.org> <86FB364B-E8B7-4813-A7C8-AAB4A74B3EB2@carldong.me> Date: Thu, 21 Nov 2019 19:26:00 +0100 In-Reply-To: <86FB364B-E8B7-4813-A7C8-AAB4A74B3EB2@carldong.me> (Carl Dong's message of "Thu, 21 Nov 2019 16:54:55 +0000") Message-ID: <877e3tozlz.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Carl Dong Cc: 38312@debbugs.gnu.org Hi Carl, Carl Dong skribis: > Perhaps we should print a message to the user for better user visibility = when this case gets triggered? Yeah, I wondered: it seemed to me that people using -K would always use it together with --no-build-hook, so it should come as no surprise. Also, since offloading is the default, the warning would always be printed when using -K, which is not so great. Thoughts? Ludo=E2=80=99.