1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/scripts/xxci.py b/Tools/scripts/xxci.py
index c6a7d08..1e77c87 100755
--- a/Tools/scripts/xxci.py
+++ b/Tools/scripts/xxci.py
@@ -105,6 +105,11 @@ def showdiffs(file):
     cmd = 'rcsdiff ' + file + ' 2>&1 | ${PAGER-more}'
     sts = os.system(cmd)
 
+def raw_input(prompt):
+    sys.stdout.write(prompt)
+    sys.stdout.flush()
+    return sys.stdin.readline()
+
 def askyesno(prompt):
     s = raw_input(prompt)
     return s in ['y', 'yes']