From 726ec77becb3affbc5a5c872bea56c540cdb6e8c Mon Sep 17 00:00:00 2001 From: gcontini <1121667+gcontini@users.noreply.github.com> Date: 周六, 07 9月 2019 22:13:32 +0800 Subject: [PATCH] Merge branch 'master' of https://github.com/open-license-manager/open-license-manager.git --- src/library/os/os.h | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/library/os/os.h b/src/library/os/os.h index d953d1a..7eea3eb 100644 --- a/src/library/os/os.h +++ b/src/library/os/os.h @@ -17,15 +17,15 @@ #include <string.h> #include <ctype.h> #include <sys/types.h> -#include <unistd.h> //definition of size_t #include <stdlib.h> #ifdef __unix__ +#include <unistd.h> #include <stdbool.h> #endif typedef enum { - NONE, VMWARE + NONE, CONTAINER, VM } VIRTUALIZATION; typedef enum { -- Gitblit v1.9.1