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

Remove support for JAVA_HOME #69149

Merged
merged 4 commits into from
Feb 18, 2021
Merged

Remove support for JAVA_HOME #69149

merged 4 commits into from
Feb 18, 2021

Commits on Feb 17, 2021

  1. Remove support for JAVA_HOME 

    This commit removes support for JAVA_HOME. As we previously deprecated
usage of JAVA_HOME to override the path for the JDK, this commit follows
up by removing support for JAVA_HOME. Note that we do not treat
JAVA_HOME being set as a failure, as it is perfectly reasonable for a
user to have JAVA_HOME configured at the system level.
    @jasontedor
    jasontedor committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    67c893a View commit details
    Browse the repository at this point in the history

  2. Checkstyle!

    @jasontedor
    jasontedor committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    c679294 View commit details
    Browse the repository at this point in the history

  3. Write warning to stderr

    @jasontedor
    jasontedor committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    c92624a View commit details
    Browse the repository at this point in the history

  4. Drop silently

    @jasontedor
    jasontedor committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    7ac9807 View commit details
    Browse the repository at this point in the history