tree 9c4d14533e4a1b02e10bb12d3632622565a07697
parent e85163bb5c466d25b1a7cb915ff1731afd2dadfc
author Gilles Peskine <Gilles.Peskine@arm.com> 1548784336 +0100
committer Andrzej Kurek <andrzej.kurek@arm.com> 1666182908 -0400

Use the full config as the baseline for all jobs

Start each job from the full config minus some memory management
settings and the job-specific settings.

The original content of config.h no longer influences the
configurations used for the jobs (but it still influences what jobs
may run, in that the set of jobs is partly built by parsing #define
and //#define lines in config.h).
Signed-off-by: Andrzej Kurek <andrzej.kurek@arm.com>