Philip Kahn
2018-05-04 51fbf0127726a659862c9ee3b6b7257fc0a1b39d
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