diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-05-23 23:20:31 +0000 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-05-24 00:05:19 +0000 |
commit | 4b0959458c821ef26990fe1fe5931d552512526d (patch) | |
tree | bfd443f3a00207dac26c81ef7ccd2ce5bfe59449 /makefile_escaping/prologue.mk | |
parent | add .gitattributes (diff) | |
download | blog-4b0959458c821ef26990fe1fe5931d552512526d.tar.gz blog-4b0959458c821ef26990fe1fe5931d552512526d.zip |
makefile_escaping: set up CI
Diffstat (limited to '')
-rw-r--r-- | makefile_escaping/prologue.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/makefile_escaping/prologue.mk b/makefile_escaping/prologue.mk new file mode 100644 index 0000000..1c12914 --- /dev/null +++ b/makefile_escaping/prologue.mk @@ -0,0 +1,6 @@ +MAKEFLAGS += --warn-undefined-variables +.DEFAULT_GOAL := all +.DELETE_ON_ERROR: +.SUFFIXES: +SHELL := bash +.SHELLFLAGS := -e -o pipefail -c |