diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -29,7 +29,6 @@ SHELL := /usr/bin/env bash -Eeuo pipefail MAKEFLAGS += --no-builtin-rules MAKEFLAGS += --no-builtin-variables -MAKEFLAGS += --no-print-directory MAKEFLAGS += --warn-undefined-variables |