diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-30 20:03:33 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-30 20:03:33 +0200 |
commit | 532d2045f5f87e9049475ddd055c7a93ea38dca0 (patch) | |
tree | c7585eba98c27fbda93fcdff177056def0a0cf71 /gradle/java-common.gradle | |
parent | Replaced platformURI with projectMapping to fix genmodel error. (diff) | |
download | refinery-532d2045f5f87e9049475ddd055c7a93ea38dca0.tar.gz refinery-532d2045f5f87e9049475ddd055c7a93ea38dca0.tar.zst refinery-532d2045f5f87e9049475ddd055c7a93ea38dca0.zip |
Add JMH benchmarks for model-data
Diffstat (limited to 'gradle/java-common.gradle')
-rw-r--r-- | gradle/java-common.gradle | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gradle/java-common.gradle b/gradle/java-common.gradle index 24df4201..caae7d78 100644 --- a/gradle/java-common.gradle +++ b/gradle/java-common.gradle | |||
@@ -52,9 +52,9 @@ eclipse { | |||
52 | } | 52 | } |
53 | } | 53 | } |
54 | } | 54 | } |
55 | 55 | ||
56 | jdt.file.whenMerged { properties -> | 56 | jdt.file.whenMerged { properties -> |
57 | // Allow @SupperessWarnings to suppress SonalLint warnings | 57 | // Allow @SupperessWarnings to suppress SonarLint warnings |
58 | properties['org.eclipse.jdt.core.compiler.problem.unhandledWarningToken'] = 'ignore' | 58 | properties['org.eclipse.jdt.core.compiler.problem.unhandledWarningToken'] = 'ignore' |
59 | } | 59 | } |
60 | } | 60 | } |