diff options
Diffstat (limited to 'Build/source/.github/scripts')
-rwxr-xr-x | Build/source/.github/scripts/build-tl.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/.github/scripts/build-tl.sh b/Build/source/.github/scripts/build-tl.sh index 6a07d266f29..ea7945d3efb 100755 --- a/Build/source/.github/scripts/build-tl.sh +++ b/Build/source/.github/scripts/build-tl.sh @@ -1,5 +1,7 @@ #!/bin/sh -l +set -e + arch="$1" echo "Building TL for arch = $arch" |