replace execfile() by equivalent exec statement

1 files changed, 2 insertions, 1 deletions

diff --git a/bench/bench.py b/bench/bench.py
index 07c0384c..d90d75ad 100644
--- a/bench/bench.py
+++ b/bench/bench.py
@@ -28,6 +28,7 @@ import getopt
 import sys
 import time
 import types
+import string
 
 Usage = """\
 Usage:  bench.py OPTIONS file.py
@@ -87,7 +88,7 @@ if len(args) != 1:
     sys.exit(1)
 
 
-execfile(args[0])
+exec(string.replace(open(args[0]).read(), '\r', '\n'))
 
 
 try: