tree d776ddfe8643cae71738c37eed1823ff98763ef6
parent 534cac245102e05b3af3ea8afff382e7488984da
author Dave Martin <Dave.Martin@arm.com> 1559906782 +0100
committer Will Deacon <will.deacon@arm.com> 1562146445 +0100

update_headers.sh: Add missing shell quoting

update_headers.sh can break if the current working directory has a
funny name or if something odd is passed for LINUX_ROOT.

In the interest of cleanliness, quote where appropriate.

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>