Merge pull request #751 from jeenu-arm/ug-reorder
authordanh-arm <dan.handley@arm.com>
Tue, 8 Nov 2016 11:30:31 +0000 (11:30 +0000)
committerGitHub <noreply@github.com>
Tue, 8 Nov 2016 11:30:31 +0000 (11:30 +0000)
Alphabetical reordering for build options and make files


Trivial merge