[m-users.] mmc command line option validation for '-d'

[Matthias Guedemann]

Hi,

there is a small problem, when specifying an invalid option for mmc,
e.g., 

,----
| mmc --make -deep-profiling program
`----

works without error, but produces a program without profiling.

The problem seems to be that this is considered to be the option '-d',
with some parameter. In my opinion, it would be better to emit a
warning, if the parameter given to '-d' does not make sense.

There may be similar cases for other options.

Best regards,
Matthias