ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 06:33:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,701 Commits 2 Branches 70 Tags 87 MiB
35a679d861
Commit Graph

4 Commits

Author SHA1 Message Date
Christian Prochaska
801c4aa72f depot: add support for debug info files 
Fixes #5015
 2023-11-28 14:45:29 +01:00
Norman Feske
b081988e66 tool/depot: make DEPOT_TOOL_DIR customizable 
By replacing the formerly hard-coded $(GENODE_DIR)/tool/depot/ by the
variable DEPOT_TOOL_DIR, the depot tools can be hosted outside the
Genode source tree, i.e., as part of the Goa tool.
 2022-05-25 12:22:10 +02:00
Norman Feske
17bf2564fa depot: improved args check in dependencies tool 
This patch lets the dependencies tool give better feedback to the user
whenever an argument lacks the needed version information.
 2017-12-21 15:01:45 +01:00
Norman Feske
39eff7f249 Tool for assembling API/source/binary archives 
Issue #2339
 2017-05-31 13:15:56 +02:00