gdb/dwarf: Fix MinGW build

Unfortunately MinGW doesn't support std::future yet, so this causes the
build to fail.  Use GDB's version which provides a fallback for this case.

Tested for regressions on native aarch64-linux.

Approved-By: Tom Tromey <tromey@adacore.com>

diff --git a/gdb/dwarf2/cooked-index.h b/gdb/dwarf2/cooked-index.h
index f2664929e521ffa66cdf16ee00dfeb020e1b5d31..0d6f3e5aa0ee31b77669367fc161f9659e994be3 100644 (file)
--- a/gdb/dwarf2/cooked-index.h
+++ b/gdb/dwarf2/cooked-index.h
@@ -442,7 +442,7 @@ private:
   vec_type m_vector;
 
   /* A future that tracks when the 'index_write' method is done.  */
-  std::future<void> m_write_future;
+  gdb::future<void> m_write_future;
 };
 
 #endif /* GDB_DWARF2_COOKED_INDEX_H */