Skip to content
Snippets Groups Projects
Commit 6a793d3d authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Merge branch 'dev/merge_files' into 'master'

fix for race condition in merge_files.py

semi-regularly, Atlas has build failures due to race conditions from merge_files.py:

https://its.cern.ch/jira/browse/ATEAM-151

https://its.cern.ch/jira/browse/GAUDI-1079

here is the fix proposed by Scott and implemented by Rolf.

See merge request !21
parents d53e7505 13de2d61
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment