Philip Kahn
2018-05-04 1aadf29a51fcc985f46cee4f9c7bc23c44507834
src/cuda.c
@@ -177,4 +177,7 @@
   cudaStreamSynchronize(get_cuda_stream());
}
#endif
#else // GPU
#include "cuda.h"
void cuda_set_device(int n) {}
#endif // GPU