From 7ace80260eff40eaa4777cfb33832c7585627378 Mon Sep 17 00:00:00 2001 From: Alejandro Javier Asenjo Nitti Date: Sun, 15 Oct 2023 19:14:57 -0300 Subject: [PATCH] --no-print-directory --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f7104902..c209f6c3 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,7 @@ -include .make_options -MAKEFLAGS += --no-builtin-rules +MAKEFLAGS += --no-builtin-rules --no-print-directory #### Defaults ####