From 0e7d41e275cc17b3e9b45374a4c043b7778248a3 Mon Sep 17 00:00:00 2001
From: Kevin Petit <kevin.petit@arm.com>
Date: Wed, 19 Jul 2023 16:54:09 +0100
Subject: Report failures in makeHeaders

Exit the script when one of the called command fails.

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
---
 tools/buildHeaders/bin/makeHeaders | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/buildHeaders/bin/makeHeaders b/tools/buildHeaders/bin/makeHeaders
index 7b4959e..853c467 100755
--- 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
-- 
cgit v1.2.3