Show More
@@ -171,13 +171,18 b' def process(case, variant):' | |||||
171 |
|
171 | |||
172 |
|
172 | |||
173 | if __name__ == '__main__': |
|
173 | if __name__ == '__main__': | |
174 | if len(sys.argv) != 4: |
|
174 | ||
|
175 | argv = sys.argv[:] | |||
|
176 | ||||
|
177 | kwargs = {} | |||
|
178 | ||||
|
179 | if len(argv) != 4: | |||
175 | usage = f'USAGE: {script_name} REPO LOCAL_CASE REMOTE_CASE' |
|
180 | usage = f'USAGE: {script_name} REPO LOCAL_CASE REMOTE_CASE' | |
176 | print(usage, file=sys.stderr) |
|
181 | print(usage, file=sys.stderr) | |
177 | sys.exit(128) |
|
182 | sys.exit(128) | |
178 |
repo = |
|
183 | repo = argv[1] | |
179 |
local_case = |
|
184 | local_case = argv[2].split('-') | |
180 | local_case = (local_case[0],) + tuple(int(x) for x in local_case[1:]) |
|
185 | local_case = (local_case[0],) + tuple(int(x) for x in local_case[1:]) | |
181 |
remote_case = |
|
186 | remote_case = argv[3].split('-') | |
182 | remote_case = (remote_case[0],) + tuple(int(x) for x in remote_case[1:]) |
|
187 | remote_case = (remote_case[0],) + tuple(int(x) for x in remote_case[1:]) | |
183 | sys.exit(compare(repo, local_case, remote_case)) |
|
188 | sys.exit(compare(repo, local_case, remote_case, **kwargs)) |
General Comments 0
You need to be logged in to leave comments.
Login now