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

Add a verbose-on option. #5682

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Add a verbose-on option. #5682

wants to merge 13 commits into from

Commits on Sep 26, 2023

  1. Add verbose_on to build_options

    @desumn @rjbou
    desumn authored and rjbou committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    e6750c6 View commit details
    Browse the repository at this point in the history

  2. Add verbose-on functionality

    @desumn @rjbou
    desumn authored and rjbou committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    31de608 View commit details
    Browse the repository at this point in the history

  3. reftest: add test vor verbose-on

    @rjbou
    rjbou committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    c25a4e1 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Merge branch 'ocaml:master' into install-verbose-on

    @desumn
    desumn committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    d5826b7 View commit details
    Browse the repository at this point in the history

  2. Get package name from the nv instead of converting a name variable

    @desumn
    desumn committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    b9da0f2 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. Move verbose_on to client config

    @desumn
    desumn committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    29b9249 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2023

  1. Add an env to string list converter

    @desumn
    desumn committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    60a5435 View commit details
    Browse the repository at this point in the history

  2. Change verbose_on to more easily convert it to a name_set

    @desumn
    desumn committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    8842fcc View commit details
    Browse the repository at this point in the history

  3. Add verbose_on to env variables (i hope)

    @desumn
    desumn committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    6e844a9 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. Cleanup opamStateConfig

    @desumn
    desumn committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    7dc4421 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Change VERBOSEON option description 

    Co-authored-by: R. Boujbel <rjbou@ocamlpro.com>
    @desumn @rjbou
    desumn and rjbou committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    7f045c1 View commit details
    Browse the repository at this point in the history

  2. Split on "," instead of "," in env_string_list 

    Co-authored-by: R. Boujbel <rjbou@ocamlpro.com>
    @desumn @rjbou
    desumn and rjbou committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    d2cf6c0 View commit details
    Browse the repository at this point in the history

  3. Really change VERBOSEON option description (previous one was changing… 

    … its name)

Co-authored-by: R. Boujbel <rjbou@ocamlpro.com>
    @desumn @rjbou
    desumn and rjbou committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    1fc9017 View commit details
    Browse the repository at this point in the history