diff options
Diffstat (limited to 'Tools/scripts/fixps.py')
| -rwxr-xr-x | Tools/scripts/fixps.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/fixps.py b/Tools/scripts/fixps.py index e406571..12e9f43 100755 --- a/Tools/scripts/fixps.py +++ b/Tools/scripts/fixps.py @@ -23,7 +23,7 @@ def main(): f.close() line = re.sub('/usr/local/bin/python', '/usr/bin/env python', line) - print filename, ':', `line` + print filename, ':', repr(line) f = open(filename, "w") f.write(line) f.write(rest) |