diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/benchmark-conf-to-json.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/benchmark-conf-to-json.py b/tools/benchmark-conf-to-json.py index 033a0f94..a2e3547c 100755 --- a/tools/benchmark-conf-to-json.py +++ b/tools/benchmark-conf-to-json.py @@ -208,7 +208,7 @@ if __name__ == '__main__': if len(values) >= 14: bench['PointerBits'] = int(values[13]) if len(values) >= 15: - bench['DataFromSuperUser'] = int(values[14]) + bench['DataFromSuperUser'] = int(values[14]) != 0 if len(values) >= 16: bench['PhysicalMemoryInMiB'] = int(values[15]) if len(values) >= 17: |