diff options
Diffstat (limited to 'Makefile.pre.in')
| -rw-r--r-- | Makefile.pre.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index 51ab6f1af2..91fa06eca7 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -1592,6 +1592,7 @@ clean: pycremoval profile-removal: find . -name '*.gc??' -exec rm -f {} ';' find . -name '*.profclang?' -exec rm -f {} ';' + find . -name '*.dyn' -exec rm -f {} ';' rm -f $(COVERAGE_INFO) rm -rf $(COVERAGE_REPORT) |