Cherry-pick "Merge branch 'PlatformUpdates-1.0-20180228' into '1.0'" into master (!246) · Merge requests · atlas / atlasexternals · GitLab

Attila Krasznahorkay requested to merge cherry-pick-7a2d1279 into master Feb 28, 2018

Platform Updates, 1.0 branch (2018.02.28.)

See merge request !245 (merged)

(cherry picked from commit 7a2d1279)

78df4df3 Taught the OS identification code about a few more linux flavours.
5a414c4f Made it possible to specify a build platform name on the command line,