Philip Kahn
2018-05-04 29f3c3731407ca6d6725182351276c2d8a739ee2
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