tree 069a815940b63fa7c8835b7949767f15d495f523
parent fc09d27a92a0d8d7205577299bfab91e2c12ff4a
author Gilles Peskine <Gilles.Peskine@arm.com> 1587933095 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690306814 +0200

Explain why $root_dir needs a complicated calculation

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>