From 8f768c8c2da28739bdc1c222550abbb5bd01597a Mon Sep 17 00:00:00 2001
From: Balazs Racz <balazs.racz@gmail.com>
Date: Fri, 4 Feb 2022 23:21:55 +0100
Subject: [PATCH] Python3 fixes in revision.py (#609)

---
 bin/revision.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/revision.py b/bin/revision.py
index 2cfce0451..51bae5cd9 100755
--- a/bin/revision.py
+++ b/bin/revision.py
@@ -50,7 +50,7 @@
 if (options.input == None) :
     parser.error('missing parameter -i')
 
-print options.input
+print(options.input)
 
 options.input = options.input.replace('  ', ' ')
 inputs = options.input.split(" ")
@@ -96,14 +96,14 @@
 main_git_hash = None
     
 for x in inputs :
-    print x
+    print(x)
     # go into the root of the repo
     os.chdir(orig_dir)
     os.chdir(x)
 
     # get the short hash
     git_hash = subprocess.check_output(['git', 'rev-parse', '--short', 'HEAD'])
-    git_hash = git_hash[:7]
+    git_hash = str(git_hash[:7])
 
     # get the dirty flag
     dirty = os.system('git diff --quiet')