| Index: runtime/tools/create_archive.py
|
| diff --git a/runtime/tools/create_archive.py b/runtime/tools/create_archive.py
|
| index 7b0e99d7787d3911dda9589d65c4c1400e48fe02..fd7eb0673f48d0bf0c4e25974f70fcd748e91f41 100644
|
| --- a/runtime/tools/create_archive.py
|
| +++ b/runtime/tools/create_archive.py
|
| @@ -132,6 +132,9 @@ def main(args):
|
| continue
|
| files.append(src_path)
|
|
|
| + # Ensure consistent file ordering for reproducible builds.
|
| + files.sort()
|
| +
|
| # Write out archive.
|
| makeArchive(options.tar_output,
|
| options.client_root,
|
|
|