From: jerry@jvdsys.stuyts.nl (Jerry van Dijk)
Subject: Re: Getting GNAT to issue ARM error messages
Date: 1999/02/15
Date: 1999-02-15T00:00:00+00:00 [thread overview]
Message-ID: <F766FJ.8n@jvdsys.stuyts.nl> (raw)
In-Reply-To: 7a7aat$mse$1@plug.news.pipex.net
Nick Roberts (Nick.Roberts@dial.pipex.com) wrote:
: This might argue for the inclusion of a compiler flag (do as GNAT now does
: by default, but a flag ('-smartass'?) causes references to be added). But,
: I'll admit, this might be considered just a tad overkill!
Hmmmm, how about overloading the standard gcc '-pedantic' flag...
:-)
--
-- Jerry van Dijk | Leiden, Holland
-- Team Ada | jdijk@acm.org
-- see http://stad.dsl.nl/~jvandyk
next prev parent reply other threads:[~1999-02-15 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-08 0:00 Getting GNAT to issue ARM error messages David Peterson
1999-02-09 0:00 ` robert_dewar
1999-02-10 0:00 ` Tom Moran
1999-04-20 0:00 ` Robert Dewar
1999-04-20 0:00 ` Ehud Lamm
1999-04-20 0:00 ` Robert Dewar
1999-02-10 0:00 ` David Peterson
1999-02-10 0:00 ` dewar
1999-02-10 0:00 ` Larry Kilgallen
1999-02-12 0:00 ` dewar
1999-02-12 0:00 ` Tucker Taft
1999-02-13 0:00 ` Nick Roberts
1999-02-13 0:00 ` bill
1999-02-14 0:00 ` robert_dewar
1999-02-14 0:00 ` Nick Roberts
1999-02-15 0:00 ` Jerry van Dijk [this message]
1999-02-16 0:00 ` dennison
1999-02-18 0:00 ` Alexy V Khrabrov
1999-02-15 0:00 ` dewar
1999-02-15 0:00 ` Ehud Lamm
1999-02-16 0:00 ` steve quinlan
1999-02-17 0:00 ` dewar
1999-02-17 0:00 ` steve quinlan
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` Simon Wright
1999-02-17 0:00 ` Jean-Pierre Rosen
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Keith Thompson
1999-02-18 0:00 ` dennison
1999-02-23 0:00 ` Chris Morgan
1999-02-18 0:00 ` David Brown
1999-02-18 0:00 ` robert_dewar
1999-02-17 0:00 ` Pascal Obry
1999-02-17 0:00 ` Steve Whalen
1999-02-14 0:00 ` robert_dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox