0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-28 16:24:56 +01:00
Commit Graph

13 Commits

Author SHA1 Message Date
Ernie Hershey
ab11b0d3dd bump tools to r3.1.0 2015-03-16 17:12:28 -04:00
Andrew Morrow
5af44a739a SERVER-9557 Remove deprecated or obsolete scons options 2015-03-12 15:23:34 -04:00
Geert Bosch
b4f647796a SERVER-17391: Move RocksDB storage engine integration layer to new module 2015-03-11 18:03:04 -04:00
Andrew Morrow
f974b0e963 SERVER-17329 Fix version.txt management for rocks build 2015-03-10 15:36:20 -04:00
Andrew Morrow
055d827ed7 SERVER-17329 Interpolate new version.txt file into generated buildinfo files 2015-03-09 17:51:06 -04:00
Jonathan Reams
49434d723b SERVER-9562 Add better detection of toolchain/arch 2015-03-09 15:27:05 -04:00
Ernie Hershey
1755f3e992 SERVER-17484 Migrate RocksDB MCI config into server repo
This is a direct dump of the RocksDB config from the MCI repo without
the header at the top which now points MCI to this file.
2015-03-09 14:44:01 -04:00
Eric Milkie
a1ffa36455 Add support for tsan suppressions 2015-03-06 11:08:45 -05:00
Ernie Hershey
d3d6506c03 SERVER-17484 Rename MCI config 2015-03-05 18:19:21 -05:00
Ernie Hershey
8008352d23 SERVER-17484 Migrate server MCI config into server repo
This is a direct dump of the config from the MCI repo without the
header at the top which now points MCI to this file.
2015-03-05 17:52:02 -05:00
Andrew Morrow
c26b358aed SERVER-16478 Remove unused List1 class 2014-12-09 13:52:50 -05:00
Andrew Morrow
eb1dc0918f SERVER-16221 Don't instrument third_party when using ubsan 2014-11-18 12:57:17 -05:00
Andrew Morrow
981b06c8c6 SERVER-15710 Add better leak sanitizer integration 2014-10-29 10:37:24 -04:00