Gilles Peskine 30de2e84ef Make no_deprecated naming more consistent
Use "no_deprecated" both in the name of the configuration and in the
name of all.sh components, rather than a mixture of "no_deprecated"
and "non_deprecated".

Make all.sh component names more consistent.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2020-04-20 21:39:22 +02:00
..
2016-01-12 14:48:03 +00:00
2019-12-20 15:14:59 +00:00
2019-11-13 14:33:34 +00:00
2019-02-27 11:03:25 +01:00