From 47d231bec58a7c01779e9aa8f915c855bb80ee45 Mon Sep 17 00:00:00 2001
From: Oliver Bock <oliver.bock@aei.mpg.de>
Date: Wed, 16 Mar 2011 16:19:02 +0100
Subject: [PATCH] Display info about device used (replaying dcf5e08e)

---
 example/main.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/example/main.cpp b/example/main.cpp
index 112efda..5217fbb 100644
--- a/example/main.cpp
+++ b/example/main.cpp
@@ -754,6 +754,14 @@ int main (int argc, char * const argv[]) {
 	    if(available)
 	    {
 	        device_id = device_ids[i];
+	        char name[200];
+	        err = clGetDeviceInfo(device_ids[i], CL_DEVICE_NAME, sizeof(name), name, NULL);
+	        if(err == CL_SUCCESS) {
+	            printf("INFO: Using device %s...\n", name);
+	        }
+	        else {
+	            printf("INFO: Using device # %d...\n", i);
+	        }
 	        break;
 	    }
 	    else
-- 
GitLab