Skip to content

Commit

Permalink
Rollup merge of #135824 - jieyouxu:delete-bintools-check, r=Noratrieb
Browse files Browse the repository at this point in the history
tests: delete `cat-and-grep-sanity-check`

Part of #121876.

All remaining `Makefile`s have open PRs that do not rely on platform `cat` or `grep` or the `cat-and-grep` script.
  • Loading branch information
matthiaskrgr authored Jan 21, 2025
2 parents 50c89b6 + c45e97c commit 60cb6c4
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 51 deletions.
1 change: 0 additions & 1 deletion src/tools/tidy/src/allowed_run_make_makefiles.txt
Original file line number Diff line number Diff line change
@@ -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
Expand Down
50 changes: 0 additions & 50 deletions tests/run-make/cat-and-grep-sanity-check/Makefile

This file was deleted.

0 comments on commit 60cb6c4

Please sign in to comment.