diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-11-25 14:09:13 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-11-25 14:09:13 +0000 |
commit | 703e5a2ce2f111c5329a8448ba47a7fbe11ad6cd (patch) | |
tree | eabed6ba36fd5a81a66d0ab89be6565c3de80c70 /src | |
parent | d92ccbf1ac5ab68937a0e411f4daee7e427865bd (diff) | |
parent | 812fae424ee7139cf9bc0d17815ee68aa3cab517 (diff) |
* Sync with the trunk.
Diffstat (limited to 'src')
-rw-r--r-- | src/libexpr/get-drvs.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libexpr/get-drvs.hh b/src/libexpr/get-drvs.hh index 7c014b7e4..2d260c57b 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 |