tree ddf571bd35283ddc11f19416a5bf80fe8a381482
parent ffcdeff00a02843ce2a901e35dc0df87f651c85a
author Gilles Peskine <Gilles.Peskine@arm.com> 1546451822 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1546451822 +0100

Back up and restore config.h systematically

In all.sh, always save config.h before running a component, instead of
doing it manually in each component that requires it (except when we
forget, which has happened). This would break a script that requires
config.h.bak not to exist, but we don't have any of those.