Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tools: size_compare_branches.py: write out some.csv less racily
The current construct wipes the old file before reading and collating the data and writing to the file. This meant the file was empty a lot of the time... Formulate the output then write to file....
- Loading branch information