From f3908b8283611a4d46d71278fca7c842c19ebd0e Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 9 Jul 2021 13:09:18 +0200 Subject: [PATCH] tool: refine help text of list_dependencies Issue #4204 --- tool/dde_linux/list_dependencies | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tool/dde_linux/list_dependencies b/tool/dde_linux/list_dependencies index 8e4248e050..ed69c28871 100755 --- a/tool/dde_linux/list_dependencies +++ b/tool/dde_linux/list_dependencies @@ -9,11 +9,11 @@ help: $(ECHO) "" $(ECHO) "Create dependency list for DDE Linux" $(ECHO) "" - $(ECHO) "This tool analyzes all dependencies of a DDE Linux port to Genode." - $(ECHO) "It extracts all referenced files from the given Linux kernel," - $(ECHO) "and prints the results into a file. Thereby, it leaves out all files" - $(ECHO) "that gets already build by the Genode target, which have to be" - $(ECHO) "listed in a separate given sources file." + $(ECHO) "This tool analyzes all dependencies of a DDE-Linux port to Genode." + $(ECHO) "It extracts all referenced files from the given Linux kernel" + $(ECHO) "and prints the results into a 'dep.list' file. It leaves out all" + $(ECHO) "files that are already covered by the target's manually maintained" + $(ECHO) "'source.list' file." $(ECHO) "" $(ECHO) "usage:" $(ECHO) "" @@ -25,7 +25,7 @@ help: $(ECHO) "" $(ECHO) "--- used variables ---" $(ECHO) "TARGET_DIR - path to the Genode build target" - $(ECHO) "LINUX_KERNEL_DIR - path to the Linux kernel build" + $(ECHO) "LINUX_KERNEL_DIR - path to the Linux source tree" $(ECHO) "SOURCE_LIST_FILE - path to the file with all contrib sources listed" $(ECHO) "DEP_LIST_FILE - path to the file that shall be generated" $(ECHO) ""