diff options
author | Kevin Pulo <kevin.pulo@mongodb.com> | 2020-05-19 14:29:26 +1000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-06-05 12:48:36 +0000 |
commit | 7074dee1fbf6763c0d463c377c2e47d8ef2c4f6f (patch) | |
tree | 80d364f790c795d16b77fb1efa1cc5e3788e1d9c /src/mongo/db/index | |
parent | 5072922b32f94857098546366f17c93673154e72 (diff) | |
download | mongo-7074dee1fbf6763c0d463c377c2e47d8ef2c4f6f.tar.gz |
SERVER-47914 Move clusterTime from LogicalClock to VectorClock
Diffstat (limited to 'src/mongo/db/index')
-rw-r--r-- | src/mongo/db/index/SConscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/db/index/SConscript b/src/mongo/db/index/SConscript index eaa3ebaaf40..84f2727d177 100644 --- a/src/mongo/db/index/SConscript +++ b/src/mongo/db/index/SConscript @@ -139,7 +139,7 @@ serveronlyEnv.Library( ], LIBDEPS_PRIVATE=[ 'skipped_record_tracker', - '$BUILD_DIR/mongo/db/logical_clock', + '$BUILD_DIR/mongo/db/vector_clock', '$BUILD_DIR/mongo/idl/server_parameter', ], ) |