commit | 98ffba1401056e2d88d3f3898b6fbf5d7d3931a4 | [log] [tgz] |
---|---|---|
author | David Pursehouse <david.pursehouse@sonymobile.com> | Wed Nov 14 11:18:00 2012 +0900 |
committer | David Pursehouse <david.pursehouse@sonymobile.com> | Wed Nov 14 11:38:57 2012 +0900 |
tree | 7a39e4d55327bd186b66baf91e9cfed3d8a80c66 | |
parent | cecd1d864fc3cf02cf50d367111e0d0e173c5dc6 [diff] [blame] |
Fix: "Statement seems to have no effect" Pylint raises an error on the call: print Change it to: print() Change-Id: I507e1b3dd928fa6c32ea7e86260fb3d7b1428e6f
diff --git a/repo b/repo index 9fcfc1b..4d8e8dc 100755 --- a/repo +++ b/repo
@@ -338,7 +338,7 @@ if proc.wait() != 0: print('fatal: registering repo maintainer keys failed', file=sys.stderr) sys.exit(1) - print + print() fd = open(os.path.join(home_dot_repo, 'keyring-version'), 'w') fd.write('.'.join(map(str, KEYRING_VERSION)) + '\n')