tree 8acf956268de804cdc54603a62ada7799dcd62da
parent c34faba8fcad18bdf1e1e8480987f522f4c0d99e
author Gilles Peskine <Gilles.Peskine@arm.com> 1587411562 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1587411562 +0200

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>