diff options
author | Alexander Neben <alexander.neben@mongodb.com> | 2023-04-26 17:06:53 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2023-04-26 18:41:57 +0000 |
commit | 5ac6f19876a0adf6bf5c7ac1e5eb5b8b7fcc531d (patch) | |
tree | e833c329bd1d117c5dfb6b7e872f588d42d64ec9 /evergreen/functions | |
parent | 861a15b40720f0bb3b137576185bc1ba4d6eb0a8 (diff) | |
download | mongo-5ac6f19876a0adf6bf5c7ac1e5eb5b8b7fcc531d.tar.gz |
SERVER-76270 Moved lint_fuzzer_sanity to python
Diffstat (limited to 'evergreen/functions')
-rwxr-xr-x | evergreen/functions/added_and_modified_patch_files_get.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/evergreen/functions/added_and_modified_patch_files_get.sh b/evergreen/functions/added_and_modified_patch_files_get.sh deleted file mode 100755 index 608b53787ef..00000000000 --- a/evergreen/functions/added_and_modified_patch_files_get.sh +++ /dev/null @@ -1,14 +0,0 @@ -DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)" -. "$DIR/../prelude.sh" - -cd src - -set -o verbose -set -o errexit - -git diff --name-only origin/${branch_name}... --line-prefix="${workdir}/src/" --diff-filter=d >> modified_and_created_patch_files.txt -if [ -d src/mongo/db/modules/enterprise ]; then - pushd src/mongo/db/modules/enterprise - git diff HEAD --name-only --line-prefix="${workdir}/src/src/mongo/db/modules/enterprise/" --diff-filter=d >> ~1/modified_and_created_patch_files.txt - popd -fi |