diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2025-01-21 21:37:14 +0800 |
|---|---|---|
| committer | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2025-01-21 21:37:14 +0800 |
| commit | c45e97c54915a629ca6ba5fdbe0d187687a1d5cc (patch) | |
| tree | 16ead61748e7918a3376eb125aca4c86a11c0edb /src/tools | |
| parent | b605c65b6eb5fa71783f8e26df69975f9f1680ee (diff) | |
tests: delete `cat-and-grep-sanity-check`
All remaining `Makefile`s have open PRs that do not rely on platform `cat` or `grep`.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/tidy/src/allowed_run_make_makefiles.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/tidy/src/allowed_run_make_makefiles.txt b/src/tools/tidy/src/allowed_run_make_makefiles.txt index 575716eb6dd..567f0a256d9 100644 --- a/src/tools/tidy/src/allowed_run_make_makefiles.txt +++ b/src/tools/tidy/src/allowed_run_make_makefiles.txt @@ -1,4 +1,3 @@ -run-make/cat-and-grep-sanity-check/Makefile run-make/jobserver-error/Makefile run-make/split-debuginfo/Makefile run-make/symbol-mangling-hashed/Makefile |