diff options
Diffstat (limited to 'evergreen/lint_fuzzer_sanity_patch.sh')
| -rw-r--r-- | evergreen/lint_fuzzer_sanity_patch.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/evergreen/lint_fuzzer_sanity_patch.sh b/evergreen/lint_fuzzer_sanity_patch.sh new file mode 100644 index 00000000000..3d3fdb94acd --- /dev/null +++ b/evergreen/lint_fuzzer_sanity_patch.sh @@ -0,0 +1,13 @@ +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +. "$DIR/prelude.sh" + +cd src + +set -eo pipefail +set -o verbose + +add_nodejs_to_path + +# Run parse-jsfiles on 50 files at a time with 32 processes in parallel. +# Grep returns 1 if it fails to find a match. +(grep -v "\.tpl\.js$" modified_and_created_patch_files.txt | grep "\.js$" || true) | xargs -P 32 -L 50 npm run --prefix jstestfuzz parse-jsfiles -- |