diff options
author | Zach Callear | 2018-04-25 10:19:15 -0600 |
---|---|---|
committer | Zach Callear | 2018-04-25 10:19:15 -0600 |
commit | ba6097a7abe80c22793fef9884703fd9a93ec44e (patch) | |
tree | 17feef55b8bf0fa7d425facff3c992573e126e27 /enable-infinality.patch | |
parent | 07c097567b99a3c1f09f10494f95495803778a53 (diff) | |
download | aur-ba6097a7abe80c22793fef9884703fd9a93ec44e.tar.gz |
Explicitly require OpenJDK 7 for build
Although this can build on OpenJDK 8, specifying that with
java-environment and limiting the version still results in the user
getting a prompt to pick the specific version they want. Requiring
specifically OpenJDK 7, as the official package does, makes it much more
foolproof for the user.
Diffstat (limited to 'enable-infinality.patch')
0 files changed, 0 insertions, 0 deletions