Merge pull request KhronosGroup#360 from kpet/make-headers-error-reporting

bashbaug · web-flow · commit 14914db17a1f · 2023-07-19T15:12:45.000-07:00
Report failures in makeHeaders
diff --git a/tools/buildHeaders/bin/makeHeaders b/tools/buildHeaders/bin/makeHeaders
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -ex
+
 python3 bin/makeExtinstHeaders.py
 
 cd ../../include/spirv/unified1
