Update amalgamation.py

wwcai-intellif · Feb 7, 2017 · 4ea78d5 · 4ea78d5
1 parent 5ca253e
commit 4ea78d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/amalgamation/amalgamation.py b/amalgamation/amalgamation.py
@@ -7,7 +7,7 @@
     'malloc.h',
     'glog/logging.h', 'io/azure_filesys.h', 'io/hdfs_filesys.h', 'io/s3_filesys.h',
     'sys/stat.h', 'sys/types.h',
-    'omp.h'
+    'omp.h', 'execinfo.h', 'packet/sse-inl.h'
     ]