| commit | c7d14f452f2fffa0a7440a7e3f57f924d525c33d | [log] [tgz] |
|---|---|---|
| author | David Srbecky <dsrbecky@google.com> | Fri Oct 21 16:42:53 2022 +0100 |
| committer | David Srbecky <dsrbecky@google.com> | Fri Oct 21 15:53:33 2022 +0000 |
| tree | f33cdec11e677941912efd114657278dc92ad3ad | |
| parent | 74d6f336810100563bc3b9e555dfd2aea1838b54 [diff] |
Fix file flush in 370-dex-v37/build.py Ensure that file is flushed before we use it. We have not seen it to cause issues, but in theory it could. Test: check that build artifacts are same as before Change-Id: I665756a9b7eae3cb3df826074b7555f3ce1febf5