-
Notifications
You must be signed in to change notification settings - Fork 109
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Correct output and source specifications in build.properties #871
Correct output and source specifications in build.properties #871
Conversation
HeikoKlare
commented
Nov 21, 2023
•
edited
Loading
edited
- Remove source entries in projects without source folders
- Remove duplicate source entries
- Add missing output entries
- Fix project classpaths with unseparated bin folders and adapt .gitignore
ab4a3f8
to
444d75a
Compare
Thanks, we need such for all repositories. |
444d75a
to
adc852b
Compare
I can go through other repositories whenever I find time to do so. Seems that currently this repository is the most affected one, as builds for PRs in other repos like Platform UI and SWT do not fail, so it should not be as urgent for those repositories as it is for this one, right? |
All repositories are failing, just depends which projects are changed. It's best seen on bulk changes like eclipse-platform/eclipse.platform.ui#1287 |
I see. I drafted a PR for Platform UI: eclipse-platform/eclipse.platform.ui#1321 |
45dcb55
to
f988bf6
Compare
* Remove source entries in projects without source folders * Remove duplicate source entries * Add missing output entries * Fix project classpaths with unseparated bin folders and adapt .gitignore
e047f0a
to
db98087
Compare
db98087
to
2c5cffd
Compare