Fix builders.sh

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