From 0ec4d68600b83d41d2e48ad35d18e2a00f234619 Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周六, 21 9月 2019 01:34:22 +0800
Subject: [PATCH] Merge branch 'develop' of https://github.com/open-license-manager/open-license-manager into develop
---
src/library/os/os.h | 6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/src/library/os/os.h b/src/library/os/os.h
index bd19f9d..7eea3eb 100644
--- a/src/library/os/os.h
+++ b/src/library/os/os.h
@@ -14,14 +14,18 @@
#include "../base/base.h"
#include <stddef.h>
+#include <string.h>
+#include <ctype.h>
+#include <sys/types.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