diff --git a/cmake.opts b/cmake.opts index 2f7a6a7954309546528ee01325759eb530762f20..87911fe414723c4d33ae994b28603c38c7105bbd 100644 --- a/cmake.opts +++ b/cmake.opts @@ -62,5 +62,4 @@ CMAKE_FLAGS="$SPECIFIC_COMPILER $SPECIFIC_GENERATOR $OPM_FLAGS -DENABLE_HEADERCHECK=$DUMUX_ENABLE_HEADERCHECK $DUMUX_ENABLE_PYTHON_BINDINGS $DUMUX_MULTITHREADING_BACKEND -$DUMUX_CMAKE_FLAGS "