Merge pull request #4050 from akoeplinger/profile-speedup
commitb9e6227efb697f121da8402ce96386d7735f31ce
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 30 Nov 2016 18:47:47 +0000 (30 19:47 +0100)
committerGitHub <noreply@github.com>
Wed, 30 Nov 2016 18:47:47 +0000 (30 19:47 +0100)
treebefcc35bbf14d1f3e7a781bcbef11e15a356296a
parent6e4e09dfba4670be1904a56263b91fe9f0e27163
parent962f2a673dbad1d52e184dce6c41593259c8686a
Merge pull request #4050 from akoeplinger/profile-speedup

[ci] Only build the additional profiles on one arch instead of everywhere