khronos-update.py: add script to simplify update of Khronos headers & xml files
authorEric Engestrom <eric@engestrom.ch>
Fri, 22 May 2020 22:28:23 +0000 (00:28 +0200)
committerMarge Bot <eric+marge@anholt.net>
Thu, 18 Jun 2020 00:38:12 +0000 (00:38 +0000)
commit9706b7238c7a46ed7f51e974ac73caf74c5bdf8a
treec47138b88135b9b521d1140c7aca15ad8f0bded1
parente8ad52f7b0c603d28518b9b288a8d9d5862d2053
khronos-update.py: add script to simplify update of Khronos headers & xml files

The idea is to have the canonical source of each of those files
available without having to remember anything, and to be able to update
all the Vulkan files by simply running `bin/khronos-update.py vulkan`.

The script also handles the fact all the EGL/GL/GLES* headers depend on
the KHR header, and the former should not be updated without updating
the latter.

Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5177>
bin/khronos-update.py [new file with mode: 0755]