tree 579bc4f0ec6b629281b8aea03866dac2ae7589de
parent 53038ebecc16bd167aa22e8bbb900bcb8999d875
author Gilles Peskine <Gilles.Peskine@arm.com> 1521617972 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1521618513 +0100

all.sh: option parsing: reduce vertical spread

Only whitespace changes.