@ -1,5 +1,7 @@
#!/bin/bash
set -e
if [ "$#" -ne 1 ]; then
echo "Usage: $0 /path/to/flextGLgen.py"
exit 1