bin/khronos-update: add workaround for python bug 9625
authorEric Engestrom <eric@engestrom.ch>
Fri, 24 Jul 2020 12:20:44 +0000 (14:20 +0200)
committerEric Engestrom <eric@engestrom.ch>
Fri, 24 Jul 2020 12:22:36 +0000 (14:22 +0200)
commit859687313be7d90433f631a7ef35af9791350a9f
treee99035ae2bb27bf2e1e7ac445dc298b5a47c1591
parentaa5c3911d6721f40a0a1b91ccb557af0b987ee38
bin/khronos-update: add workaround for python bug 9625

The bug causes `choices` to break `nargs='*'`.

Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6057>
bin/khronos-update.py