diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-01-24 12:01:44 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-01-24 15:47:31 +0100 |
| commit | c5aecdb15685bcbae02ced7586dd927482bf7ce5 (patch) | |
| tree | 68724ba6e7b367e66728584f583b702d1bcdafce /bin/bootstrap.py | |
| parent | 7f98d19a8c6a6697e246338d2c3a0640cd9528c8 (diff) | |
| download | justbuild-c5aecdb15685bcbae02ced7586dd927482bf7ce5.tar.gz | |
just-mr.py: Make disdir content reproducible and consistent
In Python the json of a dict does not guarantee an order, while in
our internal just-mr implementation the json always has the keys
sorted. Also, the JSON dump in Python does not by default use the
most compact representation. This change fixes these issues and
makes the two just-mr versions produce the same distdir content id.
Diffstat (limited to 'bin/bootstrap.py')
0 files changed, 0 insertions, 0 deletions