diff options
Diffstat (limited to 'src/test/run-make/coverage/coverage_tools.mk')
| -rw-r--r-- | src/test/run-make/coverage/coverage_tools.mk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/test/run-make/coverage/coverage_tools.mk b/src/test/run-make/coverage/coverage_tools.mk deleted file mode 100644 index 0b6bbc33167..00000000000 --- a/src/test/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 ../../run-make-fulldeps/tools.mk |