Ticket #13465: diff.txt

File diff.txt, 444 bytes (added by Håkan Wiman <hw@…>, 5 years ago)

Diff with bug fix (I hope)

Line 
179c79
2< if (!platform.supports_extension("cl_gl_sharing_extension"))
3---
4> if (!platform.supports_extension(cl_gl_sharing_extension))
5121c121
6< if(!gpu.supports_extension("cl_gl_sharing_extension")){
7---
8> if(!gpu.supports_extension(cl_gl_sharing_extension)){
9132c132
10< unsupported_extension_error("cl_gl_sharing_extension")
11---
12> unsupported_extension_error(cl_gl_sharing_extension)