mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-31 19:05:00 +07:00
Add more harness to the CI scripts (#53816)
Fixes <img width="1238" height="520" alt="image" src="https://github.com/user-attachments/assets/5e6c0d93-660f-4d1a-ab8c-c9c269292eaa" /> If a parent script with `-euo pipefail` invokes a script, that does not inherit the `-euo pipefail` option. Fix that by adding the flags to the scripts needed and adjust the curl command to fail too. Release Notes: - N/A
This commit is contained in:
parent
850c94c683
commit
d0c8109536
2 changed files with 3 additions and 2 deletions
|
|
@ -1,4 +1,5 @@
|
|||
#!/bin/bash
|
||||
set -euo pipefail
|
||||
|
||||
# Check if ./target/wasi-sdk exists
|
||||
if [ ! -d "./target/wasi-sdk" ]; then
|
||||
|
|
@ -49,7 +50,7 @@ if [ ! -d "./target/wasi-sdk" ]; then
|
|||
mkdir -p ./target
|
||||
|
||||
# Download and extract
|
||||
curl -L "$WASI_SDK_URL" | tar -xz -C ./target
|
||||
curl -fL "$WASI_SDK_URL" | tar -xz -C ./target
|
||||
|
||||
# Rename the extracted directory to wasi-sdk
|
||||
mv "./target/wasi-sdk-${WASI_SDK_VERSION}.0-${ARCH}-${OS}" "./target/wasi-sdk"
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
bash -euo pipefail
|
||||
set -euo pipefail
|
||||
source script/lib/blob-store.sh
|
||||
|
||||
bucket_name="zed-nightly-host"
|
||||
|
|
|
|||
Loading…
Reference in a new issue