mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
ffd4e231d7
In less interactive mode, the run script doesn't give up on missing test archives but instead removes the corresponding tests and marks them "missing". This mode avoids total failure of a platform in automated test infrastructures when only a few archives are missing. Fixes #3120 |
||
---|---|---|
.. | ||
include | ||
lib | ||
recipes | ||
run | ||
src | ||
README |
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.