Missed workaround for CUDA (cp2k#422).

Author: hfp

src/acc/acc_bench_trans.c

@@ -98,7 +98,9 @@ int main(int argc, char* argv[])
 #if defined(_DEBUG)
     fprintf(stderr, "Error: no device found!\n");
 #endif
+#if !defined(__CUDA)
     CHECK(libsmm_acc_finalize(), NULL);
+#endif
     CHECK(acc_finalize(), NULL);
     return result;
   }
@@ -208,7 +210,9 @@ int main(int argc, char* argv[])
   CHECK(acc_dev_mem_deallocate(stack_dev), NULL);
   CHECK(acc_dev_mem_deallocate(mat_dev), NULL);
   CHECK(acc_stream_destroy(stream), NULL);
+#if !defined(__CUDA)
   CHECK(libsmm_acc_finalize(), NULL);
+#endif
   CHECK(acc_finalize(), NULL);
   if (EXIT_SUCCESS != result) {
     fprintf(stderr, "FAILED\n");