about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-11-25T14·09+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-11-25T14·09+0000
commit703e5a2ce2f111c5329a8448ba47a7fbe11ad6cd (patch)
treeeabed6ba36fd5a81a66d0ab89be6565c3de80c70
parentd92ccbf1ac5ab68937a0e411f4daee7e427865bd (diff)
parent812fae424ee7139cf9bc0d17815ee68aa3cab517 (diff)
* Sync with the trunk.
-rw-r--r--src/libexpr/get-drvs.hh4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libexpr/get-drvs.hh b/src/libexpr/get-drvs.hh
index 7c014b7e41f2..2d260c57beee 100644
--- a/src/libexpr/get-drvs.hh
+++ b/src/libexpr/get-drvs.hh
@@ -62,7 +62,11 @@ public:
 };
 
 
+#if HAVE_BOEHMGC
+typedef list<DrvInfo, traceable_allocator<DrvInfo> > DrvInfos;
+#else
 typedef list<DrvInfo> DrvInfos;
+#endif
 
 
 /* If value `v' denotes a derivation, store information about the