diff options
Diffstat (limited to 'Tools/compiler/compile.py')
| -rw-r--r-- | Tools/compiler/compile.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Tools/compiler/compile.py b/Tools/compiler/compile.py index c90d851..c1483c5 100644 --- a/Tools/compiler/compile.py +++ b/Tools/compiler/compile.py @@ -35,8 +35,7 @@ def main(): print filename try: if PROFILE: - profile.run('compileFile(%s, %s)' % (`filename`, - `DISPLAY`), + profile.run('compileFile(%r, %r)' % (filename, DISPLAY), filename + ".prof") else: compileFile(filename, DISPLAY) |