genode

ehmry/genode

Fork 0

Commit Graph

Author	SHA1	Message	Date
Norman Feske	366bba0227	Exclude higher-level repos from strict warnings This is a follow-up commit to "Increase default warning level", which overrides Genode's new default warning level for targets contained in higher-level repositories. By explicitly whitelisting all those targets, we can selectively adjust them to the new strictness over time - by looking out for 'CC_CXX_WARN_STRICT' in the target description files. Issue #465	2018-01-17 12:14:36 +01:00
Christian Prochaska	5842b2065e	GDB monitor: stability improvements Fixes #1969	2016-05-23 15:52:49 +02:00
Norman Feske	ca971bbfd8	Move repositories to 'repos/' subdirectory This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082	2014-05-14 16:08:00 +02:00

Author

SHA1

Message

Date

Norman Feske

366bba0227

Exclude higher-level repos from strict warnings

This is a follow-up commit to "Increase default warning level", which
overrides Genode's new default warning level for targets contained in
higher-level repositories. By explicitly whitelisting all those targets,
we can selectively adjust them to the new strictness over time - by
looking out for 'CC_CXX_WARN_STRICT' in the target description files.

Issue #465

2018-01-17 12:14:36 +01:00

Christian Prochaska

5842b2065e

GDB monitor: stability improvements

Fixes #1969

2016-05-23 15:52:49 +02:00

Norman Feske

ca971bbfd8

Move repositories to 'repos/' subdirectory

This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.

Issue #1082

2014-05-14 16:08:00 +02:00

3 Commits