-
Lorenz Huedepohl authored
It is now --enable-timing --enable-redirect --with-papi instead of the more confusing --with-ftimings --with-redirect --disable-papi For once, the --with versions of timing and redirect could not cope with --with-timing=no, --with-redirect=no (this was interpreted like =yes). Also, --with switches are supposed to be for optional dependencies on other software, not for configuring optional parts of the software itself.
0da56d61
Validating GitLab CI configuration…
Learn more