Fix builders.sh

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