| 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 93de7efbb937efff67be4b47d4f836ab69d71dac..0f35290d19cc9ac25132ded4b629aba724080075 100644
|
| --- a/src/third_party/vtune/vtune-jit.cc
|
| +++ b/src/third_party/vtune/vtune-jit.cc
|
| @@ -64,14 +64,9 @@ 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>
|
| -using namespace __gnu_cxx;
|
| -#endif
|
| #define __DEPRECATED OLD_DEPRECATED
|
| +using namespace __gnu_cxx;
|
| #endif
|
|
|
| #include <list>
|
|
|