Fix the build for linux driver 1.8

This commit is contained in:
Don Porter
2018-08-13 10:14:23 -04:00
parent 629e30a2d2
commit 5aac2b7e89
@@ -16,11 +16,13 @@
#define __packed __attribute__((packed))
#endif
#if SDK_DRIVER_VERSION > KERNEL_VERSION(1, 8, 0)
#include "linux-sgx-driver/sgx_user.h"
#else // 1.8
#include "linux-sgx-driver/isgx_user.h"
#endif
#endif
#if SDK_DRIVER_VERSION < KERNEL_VERSION(1, 8, 0)
#else // SDK_DRIVER_VERSION < KERNEL_VERSION(1, 8, 0)
#include "linux-sgx-driver/isgx_user.h"