diff options
Diffstat (limited to '')
| -rw-r--r-- | makefile_escaping/prologue.mk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/makefile_escaping/prologue.mk b/makefile_escaping/prologue.mk deleted file mode 100644 index 1c12914..0000000 --- a/makefile_escaping/prologue.mk +++ /dev/null @@ -1,6 +0,0 @@ -MAKEFLAGS += --warn-undefined-variables -.DEFAULT_GOAL := all -.DELETE_ON_ERROR: -.SUFFIXES: -SHELL := bash -.SHELLFLAGS := -e -o pipefail -c |