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.

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

chore: use java.release=8 when building pgjdbc from the generated source distribution #3038

Merged
merged 1 commit into from Nov 27, 2023

Conversation

vlsi
Copy link
Member

@vlsi vlsi commented Nov 27, 2023

Previously, pom.xml used source=1.8, target=1.8 so it might produce invalid bytecode when running on Java 1.8
Now pom.xml would use --release 8 to avoid such issues.

See #3014

@vlsi vlsi added this to the 42.7.1 milestone Nov 27, 2023
…rce distribution

Previously, pom.xml used source=1.8, target=1.8 so it might produce invalid bytecode
when running on Java 1.8
Now pom.xml would use --release 8 to avoid such issues.

See pgjdbc#3014
@vlsi vlsi merged commit 62b0eec into pgjdbc:master Nov 27, 2023
13 of 14 checks passed
@vlsi vlsi deleted the source_jdk_8 branch November 28, 2023 06:23
redalogobject pushed a commit to logobject/pgjdbc that referenced this pull request Dec 7, 2023
…rce distribution (pgjdbc#3038)

Previously, pom.xml used source=1.8, target=1.8 so it might produce invalid bytecode
when running on Java 1.8
Now pom.xml would use --release 8 to avoid such issues.

See pgjdbc#3014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant