GNU bug report logs - #61970
[PATCH] lint: Return exit code 1 if there are warnings.

Previous Next

Package: guix-patches;

Reported by: Antero Mejr <antero <at> mailbox.org>

Date: Sat, 4 Mar 2023 23:18:02 UTC

Severity: normal

Tags: patch

Full log

View this message in rfc822 format

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>, Antero Mejr <antero <at> mailbox.org>
Cc: 61970 <at> debbugs.gnu.org
Subject: [bug#61970] [PATCH] lint: Return exit code 1 if there are warnings.
Date: Wed, 24 Jul 2024 14:49:10 +0200

Hi Antero,

On Mon, 06 Mar 2023 at 16:59, Ludovic Courtès <ludo <at> gnu.org> wrote:

> Could you send an updated patch?

Have you had the opportunity to look at Ludo’s comments?

Cheers,
simon
This bug report was last modified 1 year and 16 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.