diff options
author | Richard Samuels <richard.samuels@mongodb.com> | 2020-07-07 15:01:52 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-07-09 13:29:35 +0000 |
commit | c37aaac0696c3b4a69df191bd991e474824e43b1 (patch) | |
tree | 0b203765b21f19d8a334a70f7b78ab1bafd4fa57 /.gitignore | |
parent | 0e8bb99b4f9576d8e2ab32af4a8ab60efd80a083 (diff) | |
download | mongo-c37aaac0696c3b4a69df191bd991e474824e43b1.tar.gz |
SERVER-49041 Check if live-record binary exists when specified in resmoke.py invocation
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9591ee1908f..4c35f527d92 100644 --- a/.gitignore +++ b/.gitignore @@ -189,3 +189,6 @@ python2-venv # Generated resmoke configuration file resmoke.ini + +# UndoDB Recordings +*.undo |