-
Joerg Bruehe authored
The "cmake" way still shows issues in our release build environment. Block it temporarily, but in a way that can easily be undone. This change is to be reverted once the problems are solved. BUILD/choose_configure.sh: Easiest way: Preset "HAVE_CMAKE=no"
c71bd7e1