Fix builders.sh

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