From: Markus Schoepflin <nospam@no.spam>
Subject: Re: Make specific warning error with gnat?
Date: Thu, 01 Jul 2010 16:05:59 +0200
Date: 2010-07-01T16:05:59+02:00 [thread overview]
Message-ID: <i0i7c7$nt2$1@nntp.ilk.net> (raw)
In-Reply-To: <nospam-4290E8.08111701072010@news.aioe.org>
Am 01.07.2010 14:11, schrieb John B. Matthews:
> You might be thinking of the -gnatwe option.
No, as -gnatwe turns all warnings into errors. I want to turn a specific
warning into an error, and leave the other warnings alone.
Markus
next prev parent reply other threads:[~2010-07-01 14:05 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-01 10:13 Make specific warning error with gnat? Markus Schoepflin
2010-07-01 12:11 ` John B. Matthews
2010-07-01 14:05 ` Markus Schoepflin [this message]
2010-07-02 1:19 ` John B. Matthews
2010-07-02 9:30 ` Stephen Leake
2010-07-02 9:44 ` Markus Schoepflin
2010-07-02 20:17 ` Randy Brukardt
2010-07-06 21:18 ` Robert A Duff
2010-07-07 23:32 ` Randy Brukardt
2010-07-02 20:33 ` Georg Bauhaus
2010-07-03 10:00 ` Dmitry A. Kazakov
2010-07-05 8:16 ` Markus Schoepflin
2010-07-03 8:01 ` Stephen Leake
2010-07-04 2:22 ` BrianG
2010-07-06 21:12 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox