diff options
| author | Oneirical <manchot@videotron.ca> | 2024-07-23 11:24:05 -0400 |
|---|---|---|
| committer | Oneirical <manchot@videotron.ca> | 2024-07-23 11:24:05 -0400 |
| commit | da692ee0eaa2ab4498ab86d6ad984c6c8bf327a1 (patch) | |
| tree | d4565f8fa4dd293ff1cd1b4d1402b53742cda938 /src | |
| parent | d53dc752d2bc0a9e7f7e2e5f82aff03a6d222614 (diff) | |
rewrite extern-diff-internal-name to rmake
Diffstat (limited to 'src')
| -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 158d5cc8ade..09ee4d0707b 100644 --- a/src/tools/tidy/src/allowed_run_make_makefiles.txt +++ b/src/tools/tidy/src/allowed_run_make_makefiles.txt @@ -15,7 +15,6 @@ run-make/dep-info/Makefile run-make/dump-ice-to-disk/Makefile run-make/emit-to-stdout/Makefile run-make/export-executable-symbols/Makefile -run-make/extern-diff-internal-name/Makefile run-make/extern-flag-disambiguates/Makefile run-make/extern-fn-reachable/Makefile run-make/extern-multiple-copies/Makefile |
