Skip to content
This repository has been archived by the owner on Nov 19, 2024. It is now read-only.

Fix #150. Remove wars about source files with the same names #153

Merged
merged 1 commit into from
Apr 20, 2020

Conversation

tempora-mutantur
Copy link
Collaborator

The Jacoco fix in 4081720 brought new code that tries to find the
source file in case other ways didn't work. To do this it creates a
map of file names to look for. And it logs warnings in case of any
duplicates. Becase there may be a lot of them a log would quite apace,
we remove the warnings.

The Jacoco fix in 4081720 brought new code that tries to find the
source file in case other ways didn't work. To do this it creates a
map of file names to look for. And it logs warnings in case of any
duplicates. Becase there may be a lot of them a log would quite apace,
we remove the warnings.
@tempora-mutantur tempora-mutantur merged commit 8e59834 into jenkinsci:dev Apr 20, 2020
@cizezsy
Copy link
Contributor

cizezsy commented Apr 21, 2020

Sorry, I forgot to request the repository access for you before. I have approved jenkins-infra/repository-permissions-updater#1502 to authorize this request now :P

# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants