ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-19 19:26:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
f5afd28d1f
genode/repos/base-sel4/ports/sel4.hash
Martin Stein abc80b7782 prepare_port sel4: check required python modules 
This prevents undescriptive errors when building sel4.

Ref #2490
2017-08-28 16:49:36 +02:00

2 lines
41 B
Plaintext
Raw Blame History

8ab77c39000530e8f78a66581bf368a902cbcdc3
Reference in New Issue View Git Blame Copy Permalink