dunecontrol --skipversioncheck does not skip the cmake version check
The (undocumented) --skipversioncheck
option of dunecontrol
skips the version check in dunecontrol
itself, but not the one done later by cmake (see #173).
The (undocumented) --skipversioncheck
option of dunecontrol
skips the version check in dunecontrol
itself, but not the one done later by cmake (see #173).