From: Simon Wright <simon@pushface.org>
Subject: Re: Tell GPRBuild to trigger an error on unknown options in project file?
Date: Tue, 23 Apr 2013 12:13:23 +0100
Date: 2013-04-23T12:13:23+01:00 [thread overview]
Message-ID: <lyli89ebzg.fsf@pushface.org> (raw)
In-Reply-To: op.wvzhiruaule2fv@cardamome
"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> Le Tue, 23 Apr 2013 09:37:42 +0200, Stephen Leake
> <stephen_leake@stephe-leake.org> a écrit:
>> You are sending this message to the wrong place; report@gnat.com
>> would be much more likely to get a useful response.
> But I'm not a client, just an FSF GNAT user.
They do take note - I start the Subject: with (in this case) GPRBUILD:,
because they used to have a spam filter that required something like
that - but you don't always get a response.
It is possible to patch gprbuild, of course, but you have to work from
the GNAT GPL sources.
prev parent reply other threads:[~2013-04-23 11:13 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-04-22 21:25 Tell GPRBuild to trigger an error on unknown options in project file? Yannick Duchêne (Hibou57)
2013-04-23 7:37 ` Stephen Leake
2013-04-23 7:53 ` Yannick Duchêne (Hibou57)
2013-04-23 11:13 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox