Makefiles

# More user-friendly shell
SHELL := bash

# More user-friendly bash
.SHELLFLAGS := -eu -o pipefail -c

# More user-friendly make
MAKEFLAGS += --warn-undefined-variables
MAKEFLAGS += --no-builtin-rules