From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c7511c3c85f44995
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
X-Received: by 10.180.198.210 with SMTP id je18mr15151837wic.1.1366715602849;
        Tue, 23 Apr 2013 04:13:22 -0700 (PDT)
Path: 
 hg5ni16399wib.1!nntp.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Tell GPRBuild to trigger an error on unknown options in project
 file?
Date: Tue, 23 Apr 2013 12:13:23 +0100
Organization: A noiseless patient Spider
Message-ID: <lyli89ebzg.fsf@pushface.org>
References: <op.wvyohbhpule2fv@cardamome> <8561zdae9l.fsf@stephe-leake.org>
	<op.wvzhiruaule2fv@cardamome>
Mime-Version: 1.0
Injection-Info: mx05.eternal-september.org;
 posting-host="759faf2487b2ffad9ca6f5463a606de4";
	logging-data="3727"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+HlDTD09vL2Qb+b52yz6Hc6AYvFK0VQM8="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin)
Cancel-Lock: sha1:6GEEReGBqDBS8fz2R7qjMweeNEg=
	sha1:Nfy2SbzR6byhOaOIptn4dOOriiU=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2013-04-23T12:13:23+01:00
List-Id: <comp.lang.ada>

"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.