diff options
Diffstat (limited to 'Tools/compiler/regrtest.py')
| -rw-r--r-- | Tools/compiler/regrtest.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/compiler/regrtest.py b/Tools/compiler/regrtest.py index 50d06e7..4244d62 100644 --- a/Tools/compiler/regrtest.py +++ b/Tools/compiler/regrtest.py @@ -67,6 +67,11 @@ def run_regrtest(lib_dir): def cleanup(dir): os.system("rm -rf %s" % dir) +def raw_input(prompt): + sys.stdout.write(prompt) + sys.stdout.flush() + return sys.stdin.readline() + def main(): lib_dir = copy_library() compile_files(lib_dir) |