Merge pull request #4763 from github/yo-h/java15-merge

Java: adjust test options for JDK 15 upgrade
This commit is contained in:
Arthur Baars
2020-12-02 05:15:10 +01:00
committed by GitHub
5 changed files with 5 additions and 5 deletions

View File

@@ -1 +1 @@
//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15

View File

@@ -1 +1 @@
//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15

View File

@@ -1 +1 @@
//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15

View File

@@ -1 +1 @@
//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15

View File

@@ -1 +1 @@
//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15