Fix builders.sh

Change-Id: If803504797e351fb1720d4cbf1b1dc374e864405
Signed-off-by: Saheer Babu <saheer.babu@arm.com>
1 file changed