Explicitly define the shell (bash) and its env.

This makes the "command: command not found" error no longer occur on
systems where the default shell is not `bash`, or does not support the
`bash` builtins. Additionally, a sane environment is set for safer
shell command use and scripting.

The environment settings for `bash` here do the following:
  - Terminate on errors, including signal `ERR` traps. (-e, -E)
  - Ensure that shell variables are set before use. (-u)
  - Print the shell command, and arguments, as they're run. (-x)
  - Fail on errors in any command in a pipeline. (-o pipefail)
master
Tyler True 2019-10-26 23:24:50 -04:00 committed by GitHub
parent 0328b368b5
commit d050fdc854
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -1,5 +1,6 @@
# SPDX-License-Identifier: BSD-3-Clause
SHELL=bash -Eeuxo pipefail
VERSION=$(shell git describe --abbrev=8 --dirty 2>/dev/null || echo v0.12.1)
WADS=wads
ASCIIDOC=asciidoc