• Lorenz Huedepohl's avatar
    Cleanup of configure arguments · 0da56d61
    Lorenz Huedepohl authored
    It is now
    instead of the more confusing
    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