* Don't use the non-standard __gnu_cxx::stdio_filebuf class.

1 files changed, 1 insertions, 8 deletions

diff --git a/src/libstore/local-store.hh b/src/libstore/local-store.hh
index 1cacfee33532..a422af3981b3 100644
--- a/src/libstore/local-store.hh
+++ b/src/libstore/local-store.hh
@@ -3,8 +3,6 @@
 
 #include <string>
 
-#include <ext/stdio_filebuf.h>
-
 #include "store-api.hh"
 #include "util.hh"
 
@@ -36,15 +34,10 @@ struct OptimiseStats
 };
 
 
-typedef __gnu_cxx::stdio_filebuf<char> stdio_filebuf;
-
-
 struct RunningSubstituter
 {
     Pid pid;
-    boost::shared_ptr<stdio_filebuf> toBuf, fromBuf;
-    boost::shared_ptr<std::ostream> to;
-    boost::shared_ptr<std::istream> from;
+    AutoCloseFD to, from;
 };