Make build script fail if any command fails (#832)

This commit is contained in:
Jonathan Romano 2022-11-14 09:08:49 -05:00 committed by GitHub
parent 848c066924
commit 53b559bef3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +1,6 @@
# Error if any command fails
set -e
# Create the build directory, preserving it if it already exists
mkdir -p build
cd build