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:34:11 +0200 |
commit | e1ebd69329636541e1117ace58316d71c9fbc6d5 (patch) | |
tree | 63bb2aae53fb640fa89759e7a42509b46aff7546 /Makefile | |
parent | cb60a7befd2006d5a940fa38da28c08c47ff208a (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>
Diffstat (limited to 'Makefile')
-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 |