diff options
author | Alejandro Colomar <alx.manpages@gmail.com> | 2022-07-31 14:19:26 +0200 |
---|---|---|
committer | Alejandro Colomar <alx.manpages@gmail.com> | 2022-08-01 14:21:04 +0200 |
commit | 2f636827a30ff2eb2251794e16060f627c079e5a (patch) | |
tree | 10a34402518790f9892f12d504a90cd0f826ebb8 | |
parent | ba1f2cabaf3a3f28cba07ddf53edc8e6b635174e (diff) |
Makefile: Disable builtin rules and variables
We don't use them at all, so by disabling them, the debug output
of make(1) will be smaller.
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -31,6 +31,8 @@ SHELL := /usr/bin/env bash -Eeuo pipefail +MAKEFLAGS += --no-builtin-rules +MAKEFLAGS += --no-builtin-variables MAKEFLAGS += --no-print-directory MAKEFLAGS += --warn-undefined-variables |