tree abda147fca6d525d97d516c58c5832172ff4e10c
parent 3baf13c790407140007025a18642f61168768fb8
author Dave Martin <Dave.Martin@arm.com> 1559906783 +0100
committer Will Deacon <will.deacon@arm.com> 1562146445 +0100

update_headers.sh: Cleanly report failure on error

If in intermediate step fails, update_headers.sh blindly continues
and may return success status.

To avoid errors going unnoticed when driving this script, exit and
report failure status as soon as something goes wrong.  For good
measure, also fail on expansion of undefined shell variables to aid
future maintainers.

Signed-off-by: Dave Martin <Dave.Martin@arm.com>
Reviewed-by: Andre Przywara <andre.przywara@arm.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>