Ticket #13465: diff.txt
File diff.txt, 444 bytes (added by , 5 years ago) |
---|
Line | |
---|---|
1 | 79c79 |
2 | < if (!platform.supports_extension("cl_gl_sharing_extension")) |
3 | --- |
4 | > if (!platform.supports_extension(cl_gl_sharing_extension)) |
5 | 121c121 |
6 | < if(!gpu.supports_extension("cl_gl_sharing_extension")){ |
7 | --- |
8 | > if(!gpu.supports_extension(cl_gl_sharing_extension)){ |
9 | 132c132 |
10 | < unsupported_extension_error("cl_gl_sharing_extension") |
11 | --- |
12 | > unsupported_extension_error(cl_gl_sharing_extension) |