From ca904ab353777023fc920f9a6780da51cca4781a Mon Sep 17 00:00:00 2001
From: Augustin Cavalier <waddlesplash@gmail.com>
Date: Fri, 24 May 2019 19:14:28 -0400
Subject: [PATCH] system_time: Add temporary hack for GCC 8 to get ia32intrin.

ia32intrin isn't supposed to be included, only x86intrin is,
but GCC 8 changed some of the __builtin definitions in a
backwards-incompatible way for some of the AVX headers.
So, this is a temporary hack until we are using GCC 8 syslibs
packages.
---
 src/system/libroot/os/arch/x86_64/system_time.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/system/libroot/os/arch/x86_64/system_time.cpp b/src/system/libroot/os/arch/x86_64/system_time.cpp
index 5678d31323..76597de4d8 100644
--- a/src/system/libroot/os/arch/x86_64/system_time.cpp
+++ b/src/system/libroot/os/arch/x86_64/system_time.cpp
@@ -6,7 +6,10 @@
 
 #include <stdint.h>
 
-#include <x86intrin.h>
+//#include <x86intrin.h>
+#define _X86INTRIN_H_INCLUDED
+#include <ia32intrin.h>
+
 
 
 static uint64_t cv_factor;