commit | 3baf13c790407140007025a18642f61168768fb8 | [log] [tgz] |
---|---|---|
author | Dave Martin <Dave.Martin@arm.com> | Fri Jun 07 12:26:22 2019 +0100 |
committer | Will Deacon <will.deacon@arm.com> | Wed Jul 03 10:34:05 2019 +0100 |
tree | d776ddfe8643cae71738c37eed1823ff98763ef6 | |
parent | 534cac245102e05b3af3ea8afff382e7488984da [diff] |
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>