Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add a consoleScalacOptions target #2948

Merged
merged 4 commits into from
Jan 24, 2024
Merged

Add a consoleScalacOptions target #2948

merged 4 commits into from
Jan 24, 2024

Commits on Jan 10, 2024

  1. Add a consoleScalacOptions target.

    @mrdziuban
    mrdziuban committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    0654869 View commit details
    Browse the repository at this point in the history

  2. Update documentation.

    @mrdziuban
    mrdziuban committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    c377d1d View commit details
    Browse the repository at this point in the history

  3. Move -usejavacp to consoleScalacOptions, remove .distinct.

    @mrdziuban
    mrdziuban committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    87de68d View commit details
    Browse the repository at this point in the history

  4. Ensure -usejavacp is always passed, filter it out of user supplied … 

    …options.
    @mrdziuban
    mrdziuban committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    74d5585 View commit details
    Browse the repository at this point in the history