tree e705c99815e6b7e5874ccd9e6f7aa88314931140
parent 01f57e351c2c229377994b0b583d53e73eee0957
author Gilles Peskine <Gilles.Peskine@arm.com> 1507560978 +0200
committer Simon Butcher <simon.butcher@arm.com> 1507846897 +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).