Index: src/third_party/vtune/vtune-jit.cc |
=================================================================== |
--- src/third_party/vtune/vtune-jit.cc (revision 15891) |
+++ src/third_party/vtune/vtune-jit.cc (working copy) |
@@ -64,10 +64,15 @@ |
// 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> |