cdo_print_features: print number of devices

libcdi @ a1e98fcf

-Subproject commit 3077cc81a21f7f5f2e1365ed600468807394d4c0
+Subproject commit a1e98fcfa285a4bed52e94654d7830ee1877e63f

src/cdo_features.cc

@@ -155,6 +155,10 @@ cdo_print_features(void)
   if (numProcs < concurrentThreads) fprintf(fp, "%u/", numProcs);
 #endif
   fprintf(fp, "%uthreads", concurrentThreads);
+#ifdef HAVE_OPENMP4
+  auto numDevices = omp_get_num_devices();
+  if (numDevices > 0) fprintf(fp, " %ddevices", numDevices);
+#endif
   fprintf(fp, " c++%d", (int) ((__cplusplus - 200000) / 100));
 #ifdef __FAST_MATH__
   fprintf(fp, "/fastmath");