diff options
author | Robert Guo <robert.guo@mongodb.com> | 2021-06-02 11:05:40 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-06-02 15:26:44 +0000 |
commit | c6ae43c162ec134c1c6ba2b768b68ff3fcba927b (patch) | |
tree | 343fccdac78add8ff7929804a9d0fc9ee1583511 | |
parent | 0aebd5a122360cb7858fca4615935d618439848c (diff) | |
download | mongo-c6ae43c162ec134c1c6ba2b768b68ff3fcba927b.tar.gz |
SERVER-57355 lint_fuzzer_sanity_patch should ignore JS files outside of .*jstests/
-rw-r--r-- | evergreen/lint_fuzzer_sanity_patch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/evergreen/lint_fuzzer_sanity_patch.sh b/evergreen/lint_fuzzer_sanity_patch.sh index d6b769d095d..de63ff2e5e7 100644 --- a/evergreen/lint_fuzzer_sanity_patch.sh +++ b/evergreen/lint_fuzzer_sanity_patch.sh @@ -14,7 +14,7 @@ indir="$(pwd)/jstestfuzzinput" outdir="$(pwd)/jstestfuzzoutput" # Grep all the js files from modified_and_created_patch_files.txt and put them into $indir. -(grep -v "\.tpl\.js$" modified_and_created_patch_files.txt | grep "\.js$" | xargs -I {} cp {} $indir || true) +(grep -v "\.tpl\.js$" modified_and_created_patch_files.txt | grep ".*jstests/.*\.js$" | xargs -I {} cp {} $indir || true) # Count the number of files in $indir. if [[ "$(ls -A $indir)" ]]; then |