Stores the name of the operating system currently being targeted; see system() for a complete list of OS identifiers.
The current OS may be overridden on the command line with the --os option.
--os
$ premake5 --os=linux gmake
Premake 4.0 or later.