Adding a category to newoption calls groups our options together instead of mixing them with premake General options in --help output. Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>
Adding a category to newoption calls groups our options together instead of mixing them with premake General options in --help output. Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>