merge_tools: use right_file_mode
in make_diff_files
#7792
Job | Run time |
---|---|
3m 39s | |
45s | |
37s | |
3m 39s | |
33s | |
3m 59s | |
34s | |
9m 11s | |
31s | |
4m 31s | |
12s | |
28m 11s |
right_file_mode
in make_diff_files
#7792
Job | Run time |
---|---|
3m 39s | |
45s | |
37s | |
3m 39s | |
33s | |
3m 59s | |
34s | |
9m 11s | |
31s | |
4m 31s | |
12s | |
28m 11s |