MarcoFalke da32bd80bf 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

2018-10-08 04:32:48 -03:00

11 KiB

Raw Blame History

View Raw