OPM/opm-core — pull request #204 by rolk (2013-03-15 19:10:31+00:00)
Title: Allow precompiled headers to be enabled from command-line

When precompiled headers were disabled by default, I forgot to add a method to enable them! This is that method. It does ***not*** enable anything by default, it merely provides a way to do it. There should thus be no consequences in any builds.

This should have been a part of OPM/opm-core#202, but missed the train.