diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-02 19:30:05 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-02 19:32:34 +0200 |
commit | 089479fb31419b92c04f80d4cca9f09e34c684c6 (patch) | |
tree | af1d0971fd78899478fb0fb8556c817762fd9f45 /.editorconfig | |
parent | build: bump to Java 17 (diff) | |
download | refinery-089479fb31419b92c04f80d4cca9f09e34c684c6.tar.gz refinery-089479fb31419b92c04f80d4cca9f09e34c684c6.tar.zst refinery-089479fb31419b92c04f80d4cca9f09e34c684c6.zip |
build: fix Eclipse project generation instructions
BuildShip and Gradle :eclipse are incompatible:
https://github.com/eclipse/buildship/issues/267#issuecomment-547318667
Therefore, we run :eclipseJdt manually instead to genrate the JDT
configuration to ignore @SuppressWarning unknown warnings, which lets us
silence Sonar warnings in-line.
We also run :generateXtext to make sure all generated sources are ready
for the Eclipse build.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions