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>
diff --git a/bin/khronos-update.py b/bin/khronos-update.py
index 6f93c71..cc82a07 100755
--- a/bin/khronos-update.py
+++ b/bin/khronos-update.py
@@ -191,7 +191,10 @@
parser = argparse.ArgumentParser()
parser.add_argument('apis', nargs='*',
- choices=[group['api'] for group in SOURCES],
+ # the `[[]]` here is a workaround for python bug 9625
+ # where having `choices` breaks `nargs='*'`:
+ # https://bugs.python.org/issue9625
+ choices=[group['api'] for group in SOURCES] + [[]],
help='Only update the APIs specified.')
args = parser.parse_args()