diff options
| -rwxr-xr-x | Tools/scripts/checkpyc.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/scripts/checkpyc.py b/Tools/scripts/checkpyc.py index 7916058..16a941f 100755 --- a/Tools/scripts/checkpyc.py +++ b/Tools/scripts/checkpyc.py @@ -1,3 +1,5 @@ +#! /ufs/guido/bin/sgi/python +#! /usr/local/python # Check that all ".pyc" files exist and are up-to-date # Uses module 'os' |