tree b658bcd42085cbfbcaa1f32cb07fc1f874f1084f
parent f145a9dac20b4ab84888c79dd228ed52d22e4fe2
author Hanno Becker <hanno.becker@arm.com> 1501256211 +0100
committer Simon Butcher <simon.butcher@arm.com> 1501262309 +0100

Fix get option in config.pl script