Fix builders.sh

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