diff options
Diffstat (limited to 'tests/run-make/coverage/coverage_tools.mk')
| -rw-r--r-- | tests/run-make/coverage/coverage_tools.mk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tests/run-make/coverage/coverage_tools.mk b/tests/run-make/coverage/coverage_tools.mk deleted file mode 100644 index 028c020a461..00000000000 --- a/tests/run-make/coverage/coverage_tools.mk +++ /dev/null @@ -1,6 +0,0 @@ -# Common Makefile include for Rust `run-make/coverage-* tests. Include this -# file with the line: -# -# include ../coverage/coverage_tools.mk - -include ../tools.mk |