ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,749 Commits 2 Branches 70 Tags 87 MiB
17e4e2497f
Commit Graph

3 Commits

Author SHA1 Message Date
Christian Helmuth
2eb13c9047 depot: execute content rules sequentially 2018-03-08 12:05:09 +01:00
Martin Stein
f6dd1f9b9c tool/depot: user-friendly error on missing port 
In general, make the message conform to the according message of the
common build system. Adds instruction how to fix the missing/outdated
port.

Fixes #2573
 2017-11-30 11:23:03 +01:00
Norman Feske
39eff7f249 Tool for assembling API/source/binary archives 
Issue #2339
 2017-05-31 13:15:56 +02:00