diff options
| -rw-r--r-- | _posts/2020-05-20-makefile-escaping.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_posts/2020-05-20-makefile-escaping.md b/_posts/2020-05-20-makefile-escaping.md index 81b5d1d..80dac27 100644 --- a/_posts/2020-05-20-makefile-escaping.md +++ b/_posts/2020-05-20-makefile-escaping.md @@ -23,7 +23,7 @@ unexport MAKEFLAGS .DELETE_ON_ERROR: .SUFFIXES: SHELL := bash -.SHELLFLAGS := -e -o pipefail -c +.SHELLFLAGS := -eu -o pipefail -c ``` `make` invokes a shell program to execute recipes. |