file_priority: remove children only when the unset directory is known
If the directory is unknown the algorithm should check the downstream
directories since they could be unknown too.
Description
Description
Details
Details
- Provenance
DanSeraf Authored on Jan 28 2021, 4:45 PM DanSeraf Pushed on Feb 2 2021, 2:48 PM DanSeraf Pushed on Feb 2 2021, 1:34 PM - Differential Revision
- D4993: scanner-benchmark: some code improvement
- Parents
- rDTSCN5e01c09af4c6: retry request in case of backend failure
- Branches
- Unknown
- Tags
- Build Status
Buildable 18949 Build 29365: test-and-build Jenkins console · Jenkins