diff options
Diffstat (limited to 'Tools/scripts/copytime.py')
| -rwxr-xr-x | Tools/scripts/copytime.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/copytime.py b/Tools/scripts/copytime.py index 209c4924d38..ba4a267d6f8 100755 --- a/Tools/scripts/copytime.py +++ b/Tools/scripts/copytime.py @@ -7,7 +7,7 @@ import os from stat import ST_ATIME, ST_MTIME # Really constants 7 and 8 def main(): - if len(sys.argv) <> 3: + if len(sys.argv) != 3: sys.stderr.write('usage: copytime source destination\n') sys.exit(2) file1, file2 = sys.argv[1], sys.argv[2] |