tpaviot/oce — pull request #532 by dbarbier (2014-10-29 08:57:16+00:00)
Title: Disable precompiled headers by default on Travis-ci

g++-4.6 now throws internal compiler errors on Travis-ci, so
disable pch to avoid these failures.