Report failures in makeHeaders

kpet · kpet · commit 0e7d41e275cc · 2023-07-19T21:17:07.000+01:00
Exit the script when one of the called command fails.

Signed-off-by: Kevin Petit &lt;kevin.petit@arm.com&gt;
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
