OPM/opm-core — pull request #68 by rolk (2012-10-14 09:53:59+00:00)
Title: Very minor nitpicks in the build system

This isn't an issue per se, because it builds fine without this changeset, but maybe these subtle differences have a potential to trip it up later.