From 7337f9e8df225add5b77ce2c0432890592f4a434 Mon Sep 17 00:00:00 2001
From: Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>
Date: Wed, 22 Feb 2017 12:19:24 +1100
Subject: [PATCH] Parens around print args in python scripts

---
 libsel4/tools/syscall_stub_gen.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libsel4/tools/syscall_stub_gen.py b/libsel4/tools/syscall_stub_gen.py
index 1d68d73b1..37a069284 100644
--- a/libsel4/tools/syscall_stub_gen.py
+++ b/libsel4/tools/syscall_stub_gen.py
@@ -985,13 +985,13 @@ def main():
                     if line.startswith('CONFIG_WORD_SIZE'):
                         wordsize = int(line.split('=')[1].strip())
         except IndexError:
-            print "Invalid word size in configuration file."
+            print("Invalid word size in configuration file.")
             sys.exit(2)
     else:
         wordsize = int(args.wsize)
 
     if wordsize is -1:
-        print "Invalid word size."
+        print("Invalid word size.")
         sys.exit(2)
 
     # Generate the stubs.