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