[m-rev.] for review: only_opmode

[Julien Fischer]

On Tue, 29 Dec 2015, Julien Fischer wrote:

>
> On Sat, 26 Dec 2015, Zoltan Somogyi wrote:
>
>> The review is needed only for the concept and the changes
>> to the options mentioned in NEWS; the implementation
>> is straightforward.
>
> Both look fine.

The implementation is not perhaps inot so straightforward ... building
the library (as part of a full build) in the C# grade gives:

     Uncaught Mercury exception:
     Software Error: predicate
    `make.dependencies.check_dependency_timestamps'/10: Unexpected: OpMode
     != opm_top_make

Julien.