diff options
author | 2021-06-27 14:38:28 +0200 | |
---|---|---|
committer | 2021-06-27 14:38:28 +0200 | |
commit | f767b778ee5bae6346adacf990c3a5c58c2ff31b (patch) | |
tree | 9b9930525fcc36d2a45b1b24852f9c138d5619ec /build.gradle | |
parent | Remove Eclipse-specific files (diff) | |
download | refinery-f767b778ee5bae6346adacf990c3a5c58c2ff31b.tar.gz refinery-f767b778ee5bae6346adacf990c3a5c58c2ff31b.tar.zst refinery-f767b778ee5bae6346adacf990c3a5c58c2ff31b.zip |
Fix running outside of Eclipse
Diffstat (limited to 'build.gradle')
-rw-r--r-- | build.gradle | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build.gradle b/build.gradle index de4df91e..fa501550 100644 --- a/build.gradle +++ b/build.gradle | |||
@@ -31,4 +31,12 @@ subprojects { | |||
31 | configurations.all { | 31 | configurations.all { |
32 | exclude group: 'asm' | 32 | exclude group: 'asm' |
33 | } | 33 | } |
34 | |||
35 | eclipse.classpath.file.whenMerged { | ||
36 | for (entry in entries) { | ||
37 | if (entry.path.endsWith('xtext-gen')) { | ||
38 | entry.entryAttributes['ignore_optional_problems'] = true | ||
39 | } | ||
40 | } | ||
41 | } | ||
34 | } | 42 | } |