Merge pull request #9186 from alalek:cmake_fix_dump_duplication
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 19 Jul 2017 11:21:47 +0000 (11:21 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 19 Jul 2017 11:21:48 +0000 (11:21 +0000)

Trivial merge