diff options
| author | Kevin Petit <kevin.petit@arm.com> | 2023-07-19 16:54:09 +0100 |
|---|---|---|
| committer | Kevin Petit <kevin.petit@arm.com> | 2023-07-19 21:17:07 +0100 |
| commit | 0e7d41e275cc17b3e9b45374a4c043b7778248a3 (patch) | |
| tree | e6736f5aa3a7c6ab6dcd532049a06407f6ad2c26 | |
| parent | 66e5000344ffdbe4fb473f717c252d1dbe2f5db7 (diff) | |
| download | SPIRV-Headers-0e7d41e275cc17b3e9b45374a4c043b7778248a3.tar.gz SPIRV-Headers-0e7d41e275cc17b3e9b45374a4c043b7778248a3.tar.bz2 SPIRV-Headers-0e7d41e275cc17b3e9b45374a4c043b7778248a3.zip | |
Report failures in makeHeaders
Exit the script when one of the called command fails.
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
| -rwxr-xr-x | tools/buildHeaders/bin/makeHeaders | 2 |
1 files changed, 2 insertions, 0 deletions
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 |