From 9dfe6d1ab00bffb6d3820897b251d926be3906de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Mon, 26 Aug 2019 02:40:33 +0200
Subject: [PATCH] external: add helpers for updating flextgl-generated headers.

---
 src/MagnumExternal/OpenGL/update-flextgl.sh | 20 ++++++++++++++++++++
 src/MagnumExternal/Vulkan/update-flextgl.sh |  8 ++++++++
 2 files changed, 28 insertions(+)
 create mode 100755 src/MagnumExternal/OpenGL/update-flextgl.sh
 create mode 100755 src/MagnumExternal/Vulkan/update-flextgl.sh

diff --git a/src/MagnumExternal/OpenGL/update-flextgl.sh b/src/MagnumExternal/OpenGL/update-flextgl.sh
new file mode 100755
index 000000000..1fbde500c
--- /dev/null
+++ b/src/MagnumExternal/OpenGL/update-flextgl.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+if [ "$#" -ne 1 ]; then
+    echo "Usage: $0 /path/to/flextGLgen.py"
+    exit 1
+fi
+
+cd GL
+$1 -D . -t . extensions.txt
+cd ..
+
+cd GLES2
+$1 -D . -t . extensions.txt
+$1 -D . -t Emscripten/ Emscripten/extensions.txt
+cd ..
+
+cd GLES3
+$1 -D . -t . extensions.txt
+$1 -D . -t Emscripten/ Emscripten/extensions.txt
+cd ..
diff --git a/src/MagnumExternal/Vulkan/update-flextgl.sh b/src/MagnumExternal/Vulkan/update-flextgl.sh
new file mode 100755
index 000000000..628afc04d
--- /dev/null
+++ b/src/MagnumExternal/Vulkan/update-flextgl.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+if [ "$#" -ne 1 ]; then
+    echo "Usage: $0 /path/to/flextGLgen.py"
+    exit 1
+fi
+
+$1 -D . -t . extensions.txt