| 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>
|
|
|
|
|