Dimitri Fontaine 64ab4d28dc Error out when using ignored options.
In the theory that it's a better service to the user to refuse doing
anything at all rather than ignore his/her commands, print out FATAL
errors when options are used that are incompatible with a load command
file.

See #327 for a case where this did happen.

In passing, tweak our report code to avoid printing the footer when we
didn't print anything at all previously.
2016-01-25 11:46:36 +01:00
..
2016-01-17 01:54:36 +01:00
2016-01-24 21:43:46 +01:00