Use the PHP_OS predefined constant