From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Tell GPRBuild to trigger an error on unknown options in project file?
Date: Tue, 23 Apr 2013 03:37:42 -0400
Date: 2013-04-23T03:37:42-04:00 [thread overview]
Message-ID: <8561zdae9l.fsf@stephe-leake.org> (raw)
In-Reply-To: op.wvyohbhpule2fv@cardamome
"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> I don't like when something does not behave as expected without an
> error message, or the same, get silently ignored.
Good sentiment.
> As an example, I just wanted to pass a `--target=…` option to GPRBuild
> in the Builder package of a project file, but it was silently ignored.
> I later noticed the documentation indeed list this as part of the
> options that may only be passed to GPRBuild's command line, and not in
> project files [1].
>
> Now I know, but I still feel it would be better to get a plain error
> message (and compilation failure) when an option is passed via the
> Builder package which GPRBuild does not handle.
You are sending this message to the wrong place; report@gnat.com would
be much more likely to get a useful response.
--
-- Stephe
next prev parent reply other threads:[~2013-04-23 7:37 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 [this message]
2013-04-23 7:53 ` Yannick Duchêne (Hibou57)
2013-04-23 11:13 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox