Merge pull request #62 from bska/062_cmake

Synchronise build system with opm-core
2026-07-30 11:27:55 -05:00 · 2013-11-25 05:52:05 -08:00
parent fb672abee9 d07b201656
commit cd2ecc15a9
1 changed files with 1 additions and 2 deletions
@@ -171,8 +171,7 @@ for OPT in "$@"; do
      OPTARG=${OPT#--}
      # OPTARG now contains everything after double dashes
      case "${OPTARG}" in
-        config-cache)
-        cache-file=*)
+        config-cache|cache-file=*)
          # prevent the previous CMake cache from being deleted. The
          # second option is only here for Dune/autotools compatibility
          config_cache="1"