diff options
author | Brian May <brian@linuxpenguins.xyz> | 2018-06-18 17:11:31 +1000 |
---|---|---|
committer | Brian May <brian@linuxpenguins.xyz> | 2018-07-15 09:03:43 +1000 |
commit | 7d08ad9158507856c31222fbbd12b2f8ba238c4d (patch) | |
tree | 0af73b104c364b6c1d1bd58a77ad19b168823a7f /bin/apt-update-file | |
parent | e76615770ebaa46808ff548412d3b508919f6497 (diff) |
Replace <> with != for Python 3.6 compatibility
Diffstat (limited to 'bin/apt-update-file')
-rwxr-xr-x | bin/apt-update-file | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/apt-update-file b/bin/apt-update-file index 6b253009db..081b6211ca 100755 --- a/bin/apt-update-file +++ b/bin/apt-update-file @@ -21,7 +21,7 @@ root_path = setup_paths() import debian_support -if len(sys.argv) <> 3: +if len(sys.argv) != 3: sys.stderr.write("usage: apt-update-file REMOTE LOCAL\n") sys.exit(1) |