[<prev] [next>] [day] [month] [year] [list]
Message-Id: <20250417-allow_skipping_docs_perf-v1-1-e7fd719c4eda@rivosinc.com>
Date: Thu, 17 Apr 2025 16:04:07 -0700
From: Charlie Jenkins <charlie@...osinc.com>
To: Peter Zijlstra <peterz@...radead.org>, Ingo Molnar <mingo@...hat.com>,
Arnaldo Carvalho de Melo <acme@...nel.org>,
Namhyung Kim <namhyung@...nel.org>, Mark Rutland <mark.rutland@....com>,
Alexander Shishkin <alexander.shishkin@...ux.intel.com>,
Jiri Olsa <jolsa@...nel.org>, Ian Rogers <irogers@...gle.com>,
Adrian Hunter <adrian.hunter@...el.com>
Cc: linux-perf-users@...r.kernel.org, linux-kernel@...r.kernel.org,
Charlie Jenkins <charlie@...osinc.com>
Subject: [PATCH] tools/perf: Allow skipping documentation when installing
If an enviornment variable NO_DOCS is set to 1, documentation will be
skipped when installing perf.
Signed-off-by: Charlie Jenkins <charlie@...osinc.com>
---
tools/perf/Documentation/Makefile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/tools/perf/Documentation/Makefile b/tools/perf/Documentation/Makefile
index 4407b106d9772b32c5c4feed5a39442678679d62..d6ee0e06f0be19880d10e5a6faa8d0319d09c55f 100644
--- a/tools/perf/Documentation/Makefile
+++ b/tools/perf/Documentation/Makefile
@@ -203,6 +203,8 @@ install-man: check-man-tools man do-install-man
ifdef missing_tools
DO_INSTALL_MAN = $(warning Please install $(missing_tools) to have the man pages installed)
+else ifeq ($(NO_DOCS),1)
+ DO_INSTALL_MAN = $(warning man pages will not be installed because NO_DOCS is defined)
else
DO_INSTALL_MAN = do-install-man
endif
---
base-commit: 1741189d843a1d5ef38538bc52a3760e2e46cb2e
change-id: 20250417-allow_skipping_docs_perf-fa23bb4659ae
--
- Charlie
Powered by blists - more mailing lists