ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool: refine help text of list_dependencies

Browse Source 
Issue #4204
This commit is contained in:
Norman Feske 2021-07-09 13:09:18 +02:00 committed by Christian Helmuth
parent fdc4bd2f90
commit f3908b8283
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tool/dde_linux/list_dependencies
View File

@ -9,11 +9,11 @@ help:
$(ECHO) "" $(ECHO) ""
$(ECHO) "Create dependency list for DDE Linux" $(ECHO) "Create dependency list for DDE Linux"
$(ECHO) "" $(ECHO) ""
$(ECHO) "This tool analyzes all dependencies of a DDE Linux port to Genode." $(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) "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) "and prints the results into a 'dep.list' file. It leaves out all"
$(ECHO) "that gets already build by the Genode target, which have to be" $(ECHO) "files that are already covered by the target's manually maintained"
$(ECHO) "listed in a separate given sources file." $(ECHO) "'source.list' file."
$(ECHO) "" $(ECHO) ""
$(ECHO) "usage:" $(ECHO) "usage:"
$(ECHO) "" $(ECHO) ""
@ -25,7 +25,7 @@ help:
$(ECHO) "" $(ECHO) ""
$(ECHO) "--- used variables ---" $(ECHO) "--- used variables ---"
$(ECHO) "TARGET_DIR - path to the Genode build target" $(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) "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) "DEP_LIST_FILE - path to the file that shall be generated"
$(ECHO) "" $(ECHO) ""