equal
deleted
inserted
replaced
915 opts = [] |
915 opts = [] |
916 for opt, value in optcopy.iteritems(): |
916 for opt, value in optcopy.iteritems(): |
917 name = '--' + opt.replace('_', '-') |
917 name = '--' + opt.replace('_', '-') |
918 if value is True: |
918 if value is True: |
919 opts.append(name) |
919 opts.append(name) |
|
920 elif isinstance(value, list): |
|
921 for v in value: |
|
922 opts.append(name + '=' + str(v)) |
920 elif value is not None: |
923 elif value is not None: |
921 opts.append(name + '=' + str(value)) |
924 opts.append(name + '=' + str(value)) |
922 |
925 |
923 tests.reverse() |
926 tests.reverse() |
924 jobs = [[] for j in xrange(options.jobs)] |
927 jobs = [[] for j in xrange(options.jobs)] |