diff options
| author | Mathieu Bridon <[email protected]> | 2018-06-27 12:37:39 +0200 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-07-05 12:52:38 +0100 |
| commit | f9b6dfd919f5ab2da8411e4d0fab3caf5ef7ad34 (patch) | |
| tree | 190be0d2efc6b3ea8469c83ae6c80907fbb41800 /src/intel/vulkan/anv_icd.py | |
| parent | fe8a153648f98c6dfbb621f31c212253c06f9467 (diff) | |
python: Specify the JSON separators
On Python 2, the default JSON separators are ', ' for items and ': ' for
dicts.
On Python 3, the default is the same when no indent is specified, but if
one is (and we do specify one) then the default items separator becomes
',' (the dict separator remains unchanged).
This change explicitly specifies the Python 3 default, which helps
ensuring that the output is identical, whether it was generated by
Python 2 or 3.
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'src/intel/vulkan/anv_icd.py')
| -rw-r--r-- | src/intel/vulkan/anv_icd.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/intel/vulkan/anv_icd.py b/src/intel/vulkan/anv_icd.py index 31bb0687a8f..36c2882f7d6 100644 --- a/src/intel/vulkan/anv_icd.py +++ b/src/intel/vulkan/anv_icd.py @@ -44,4 +44,4 @@ if __name__ == '__main__': } with open(args.out, 'w') as f: - json.dump(json_data, f, indent = 4, sort_keys=True) + json.dump(json_data, f, indent = 4, sort_keys=True, separators=(',', ': ')) |