Merge pull request #9578 from sovrasov:objdet_build_fix
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 7 Sep 2017 11:11:30 +0000 (11:11 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 7 Sep 2017 11:11:30 +0000 (11:11 +0000)

Trivial merge