diff options
author | MarcoFalke <falke.marco@gmail.com> | 2018-10-08 04:32:39 -0300 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2018-10-08 04:32:48 -0300 |
commit | da32bd80bf3cab07e12f574dafcf11345a961444 (patch) | |
tree | da4f2807ac5403d4a35aacb2e0b802dd3ec48ef7 /test/lint | |
parent | d6189ff20082a2617f843fa9b8e2635f52a3629a (diff) | |
parent | 3f5ac2720520e9bce064ae6d28ba5f0488b2087a (diff) |
Merge #14253: Build: during 'make clean', remove some files that are currently missed.
3f5ac27205 Include some files currently missed by 'make distclean'. (murrayn)
Pull request description:
`make clean` currently leaves behind some cache and test log files that should be removed.
Tree-SHA512: a1877e776e24232f6dd1468d7f392ea0bd1e93fdd975e623897d48c4b23a080a2e84ebb199f5482abd6b8c9ddd036850325e7b7ed07e2f9fe7a32f83cc99da4a
Diffstat (limited to 'test/lint')
0 files changed, 0 insertions, 0 deletions