extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2025-06-20 19:57:46 +02:00
Code Issues Packages Projects Releases Wiki Activity

Added safety checks to build script

Browse Source
This commit is contained in:
Ethan P 2019-06-21 14:55:43 -07:00
parent 2247eed03f
commit 95631f78f4
No known key found for this signature in database
GPG Key ID: 1F8DF8091CD46FBC
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build.sh
View File

@ -13,6 +13,7 @@ LIB="$HERE/lib"
source "${LIB}/print.sh"
source "${LIB}/opt.sh"
# -----------------------------------------------------------------------------
set -eo pipefail
# Runs the next build step.
#