Merge pull request #13385 from alalek:cmake_cleanup_build_junk_dir
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 8 Dec 2018 17:51:09 +0000 (17:51 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 8 Dec 2018 17:51:09 +0000 (17:51 +0000)

Trivial merge