equal
deleted
inserted
replaced
8 |
8 |
9 ignore = {b'highlight', b'win32text', b'factotum', b'beautifygraph'} |
9 ignore = {b'highlight', b'win32text', b'factotum', b'beautifygraph'} |
10 |
10 |
11 try: |
11 try: |
12 import sqlite3 |
12 import sqlite3 |
13 del sqlite3 # unused, just checking that import works |
13 |
|
14 del sqlite3 # unused, just checking that import works |
14 except ImportError: |
15 except ImportError: |
15 ignore.add(b'sqlitestore') |
16 ignore.add(b'sqlitestore') |
16 |
17 |
17 if os.name != 'nt': |
18 if os.name != 'nt': |
18 ignore.add(b'win32mbcs') |
19 ignore.add(b'win32mbcs') |
39 |
40 |
40 for cmd, entry in commands.table.items(): |
41 for cmd, entry in commands.table.items(): |
41 seenshort = globalshort.copy() |
42 seenshort = globalshort.copy() |
42 seenlong = globallong.copy() |
43 seenlong = globallong.copy() |
43 for option in entry[1]: |
44 for option in entry[1]: |
44 if ((option[0] and option[0] in seenshort) or |
45 if (option[0] and option[0] in seenshort) or ( |
45 (option[1] and option[1] in seenlong)): |
46 option[1] and option[1] in seenlong |
|
47 ): |
46 print("command '" + cmd + "' has duplicate option " + str(option)) |
48 print("command '" + cmd + "' has duplicate option " + str(option)) |
47 seenshort.add(option[0]) |
49 seenshort.add(option[0]) |
48 seenlong.add(option[1]) |
50 seenlong.add(option[1]) |