tree 5b24f8ab7f16f00a863619dea1c2c35cbc6cd4ea
parent 58e5fdc0ca76029c48f9523b4e4d7af4ae71abd2
author Gilles Peskine <Gilles.Peskine@arm.com> 1507560978 +0200
committer Simon Butcher <simon.butcher@arm.com> 1507653967 +0100

config.pl get: be better behaved

When printing an option's value, print a newline at the end.

When the requested option is missing, fail with status 1 (the usual
convention for "not found") rather than -1 (which has a
system-dependent effect).