diff options
author | Volodymyr Babchuk <vlad.babchuk@gmail.com> | 2018-12-18 23:54:26 +0200 |
---|---|---|
committer | Jérôme Forissier <jerome.forissier@linaro.org> | 2018-12-19 14:26:51 +0100 |
commit | dbf259beb7386b7119b6621fc7095bd2d98462fa (patch) | |
tree | 9afb40ba7455b741446202c35571e609bd1f04e1 /scripts | |
parent | b1183340a491fe968f3747df77459521bfae5819 (diff) |
gen_hashed_bin: use integer division operator
Use // instead of /, so this script will be compatible
with both python2 and python3.
Signed-off-by: Volodymyr Babchuk <vlad.babchuk@gmail.com>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/gen_hashed_bin.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gen_hashed_bin.py b/scripts/gen_hashed_bin.py index cf5175ac..25a95961 100755 --- a/scripts/gen_hashed_bin.py +++ b/scripts/gen_hashed_bin.py @@ -145,7 +145,7 @@ def main(): tee_pageable_fname = args.tee_pageable_bin pager_input_size = os.path.getsize(tee_pager_fname) paged_input_size = os.path.getsize(tee_pageable_fname) - hash_size = paged_input_size / (4 * 1024) * \ + hash_size = paged_input_size // (4 * 1024) * \ hashlib.sha256().digest_size if paged_input_size % (4 * 1024) != 0: |