Fix builders.sh

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