Gilles Peskine
608953eb8c
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.
2019-01-02 19:05:33 +01:00
..
2019-01-02 19:05:33 +01:00
2016-09-27 16:04:44 +01:00
2018-04-04 21:44:29 +00:00
2018-10-16 14:10:21 +02:00
2018-04-11 21:13:20 -05:00
2018-09-26 17:55:09 +01:00
2018-08-06 11:42:56 +01:00
2018-04-04 21:44:29 +00:00
2018-04-04 21:44:29 +00:00
2018-04-04 21:44:29 +00:00
2016-01-12 14:48:03 +00:00
2018-06-27 10:50:58 +01:00
2018-04-04 21:44:29 +00:00
2018-04-04 21:44:29 +00:00
2018-06-27 10:50:58 +01:00
2018-08-06 11:42:56 +01:00
2016-03-09 19:32:09 +00:00
2018-04-04 21:44:29 +00:00
2018-04-04 21:44:29 +00:00
2015-04-09 10:53:11 +02:00
2015-04-09 10:53:11 +02:00
2015-08-04 17:46:21 +02:00
2018-08-06 11:42:56 +01:00
2018-04-04 21:44:29 +00:00
2018-10-27 17:59:17 +01:00
2017-05-16 17:53:03 +02:00
2018-08-06 11:42:56 +01:00
2018-09-28 14:31:16 +02:00
2018-04-04 21:44:29 +00:00
2016-04-10 15:11:27 +01:00