From b01818c60b8b67c7df7d936bfc9b5652d517d393 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Thu, 21 Nov 2019 20:53:18 +0100
Subject: [PATCH] external: fail when flextGL fails.

---
 src/MagnumExternal/OpenGL/update-flextgl.sh | 2 ++
 src/MagnumExternal/Vulkan/update-flextgl.sh | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/MagnumExternal/OpenGL/update-flextgl.sh b/src/MagnumExternal/OpenGL/update-flextgl.sh
index 1fbde500c..8771f8785 100755
--- a/src/MagnumExternal/OpenGL/update-flextgl.sh
+++ b/src/MagnumExternal/OpenGL/update-flextgl.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 if [ "$#" -ne 1 ]; then
     echo "Usage: $0 /path/to/flextGLgen.py"
     exit 1
diff --git a/src/MagnumExternal/Vulkan/update-flextgl.sh b/src/MagnumExternal/Vulkan/update-flextgl.sh
index 628afc04d..b9f85d14b 100755
--- a/src/MagnumExternal/Vulkan/update-flextgl.sh
+++ b/src/MagnumExternal/Vulkan/update-flextgl.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 if [ "$#" -ne 1 ]; then
     echo "Usage: $0 /path/to/flextGLgen.py"
     exit 1