diff --git a/tools/dep_updaters/update-libffi.sh b/tools/dep_updaters/update-libffi.sh index ba12a10cfb2480..dc96c9c3244909 100755 --- a/tools/dep_updaters/update-libffi.sh +++ b/tools/dep_updaters/update-libffi.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -e +set -ex # Shell script to update libffi in the source tree to a specific version BASE_DIR=$(cd "$(dirname "$0")/../.." && pwd) @@ -26,13 +26,13 @@ const tarball = assets.find(({ name }) => name === tarballName); if (!tarball?.browser_download_url) throw new Error(`No release tarball found for ${tag_name}`); console.log(`${version} ${tarball.browser_download_url} ${tarballName}`); EOF -)" +)" # " IFS=' ' read -r NEW_VERSION NEW_VERSION_URL LIBFFI_TARBALL <