Remove space character from extension name (#1336)
Some checks failed
Presubmit / Build ubuntu-20.04 (push) Failing after 5m4s
Presubmit / Build ubuntu-20.04 AArch64 (push) Failing after 3s
Presubmit / Build ubuntu-20.04 Arm (push) Failing after 2s
Presubmit / Check code format (push) Failing after 5m1s
Presubmit / Build macos-latest (push) Has been cancelled

This commit is contained in:
Grzegorz Wawiorko 2021-10-04 15:42:44 +02:00 committed by GitHub
parent 92844bead1
commit 7147d072c7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -90,10 +90,17 @@ public:
}
for (int i=0; i<(int)num_of_devices; i++) {
if (!is_extension_available(devices[i], "cl_khr_gl_sharing ")) {
log_info("Device %d of %d does not support required extension cl_khr_gl_sharing.\n", i+1, num_of_devices);
} else {
log_info("Device %d of %d supports required extension cl_khr_gl_sharing.\n", i+1, num_of_devices);
if (!is_extension_available(devices[i], "cl_khr_gl_sharing"))
{
log_info("Device %d of %d does not support required extension "
"cl_khr_gl_sharing.\n",
i + 1, num_of_devices);
}
else
{
log_info("Device %d of %d supports required extension "
"cl_khr_gl_sharing.\n",
i + 1, num_of_devices);
found_valid_device = 1;
m_devices[m_device_count++] = devices[i];
}