Tell GPRBuild to trigger an error on unknown options in project file?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Hi people,

I don't like when something does not behave as expected without an error  
message, or the same, get silently ignored.

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.

[1]: http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html#Switches

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University