Merge pull request #5843 from jia-kai:disable-dlopen-opencl
authorAlexander Alekhin <alexander.alekhin@itseez.com>
Mon, 21 Dec 2015 15:47:15 +0000 (15:47 +0000)
committerAlexander Alekhin <alexander.alekhin@itseez.com>
Mon, 21 Dec 2015 15:47:15 +0000 (15:47 +0000)

Trivial merge