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 | } |