Index: src/third_party/vtune/vtune-jit.cc |
diff --git a/src/third_party/vtune/vtune-jit.cc b/src/third_party/vtune/vtune-jit.cc |
index 0f35290d19cc9ac25132ded4b629aba724080075..93de7efbb937efff67be4b47d4f836ab69d71dac 100644 |
--- a/src/third_party/vtune/vtune-jit.cc |
+++ b/src/third_party/vtune/vtune-jit.cc |
@@ -64,10 +64,15 @@ using namespace std; |
// To avoid GCC 4.4 compilation warning about hash_map being deprecated. |
#define OLD_DEPRECATED __DEPRECATED |
#undef __DEPRECATED |
+#if defined (ANDROID) |
+#include <hash_map> |
+using namespace std; |
+#else |
#include <ext/hash_map> |
-#define __DEPRECATED OLD_DEPRECATED |
using namespace __gnu_cxx; |
#endif |
+#define __DEPRECATED OLD_DEPRECATED |
+#endif |
#include <list> |