diff options
Diffstat (limited to 'Tools/scripts/mkreal.py')
| -rwxr-xr-x | Tools/scripts/mkreal.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/mkreal.py b/Tools/scripts/mkreal.py index e01b35d65a..bc4dd1300a 100755 --- a/Tools/scripts/mkreal.py +++ b/Tools/scripts/mkreal.py @@ -1,4 +1,4 @@ -#! /usr/local/python +#! /usr/local/bin/python # mkreal # @@ -45,6 +45,7 @@ def mkrealdir(name): def main(): sys.stdout = sys.stderr progname = os.path.basename(sys.argv[0]) + if progname == '-c': progname = 'mkreal' args = sys.argv[1:] if not args: print 'usage:', progname, 'path ...' |