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
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment