OPM/opm-autodiff — pull request #18 by akva2 (2013-07-10 07:59:58+00:00)
Title: fixed: workaround issues with ExternalProject_Add

if you use the builtin git update command, a build is triggered
every time. instead, manually use a checkout