[m-rev.] for review: explicit switch on special options

[Julien Fischer]

On Wed, 5 Oct 2016, Zoltan Somogyi wrote:

> The new code in options.m requires an installed compiler
> that has the fix to switch detection that I committed on sep 1.
> Several ROTDs have been generated since then.
>
> Does anyone object to committing this diff?

No, go ahead and commit it -- there have been more than enough ROTDs
between then and now.  (The diff looks fine BTW).

Julien.