Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix conversion part2 #7539

Merged
merged 5 commits into from
May 17, 2024
Merged

Fix conversion part2 #7539

merged 5 commits into from
May 17, 2024

Commits on May 14, 2024

  1. addressing PR comments

    Andras Fekete committed May 14, 2024
    Configuration menu
    Copy the full SHA
    6d1416d View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. There is no default defined. Expected to be unset

    Andras Fekete committed May 15, 2024
    Configuration menu
    Copy the full SHA
    35ef7f4 View commit details
    Browse the repository at this point in the history

  2. Make sure MAX_ECC_BITS >= MIN_ECC_BITS

    Andras Fekete committed May 15, 2024
    Configuration menu
    Copy the full SHA
    b83d8f0 View commit details
    Browse the repository at this point in the history

  3. Standard way to set defaults

    Andras Fekete committed May 15, 2024
    Configuration menu
    Copy the full SHA
    0eb11ff View commit details
    Browse the repository at this point in the history

  4. Enable OPTION_CHECKING by default 

    This should halt `./configure` when an option is passed that is not recognized.
    Andras Fekete committed May 15, 2024
    Configuration menu
    Copy the full SHA
    412447a View commit details
    Browse the repository at this point in the history