Skip to content

build-dune: remove CMakeCache.txt before build

Stephan Hilb requested to merge build-dune into master

Some configuration changes are not recognized by cmake until CMakeCache.txt is removed, probably due to dune cmake misconfiguration. Since build-dune invokes dunecontrol and thereby invokes cmake anyways, removing CMakeCache.txt before build is not a big deal.

(note that for rebuilding without config changes we just use make)

Merge request reports