genode/repos/base/etc
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 
2014-05-14 16:08:00 +02:00
..
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
tools.conf Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

This directory contains default configuration files that are used
by the '<role>.mk' files in the 'mk/' directory. By
convention, configuration files are first read from here
followed by a corresponding config file in '<builddir>/etc/'.


Convention
~~~~~~~~~~

We include config files directly into makefiles. So the basic
makefile syntax applies here, too.

Config files should
* Have '.conf' as filename extension.
* Use only assignments but provide no rules or other 'make'-magic.
* Not include other files!