Merge pull request #9838 from alalek:fix_ocl_world_build
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 12 Oct 2017 09:40:32 +0000 (09:40 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 12 Oct 2017 09:40:32 +0000 (09:40 +0000)

Trivial merge