Address GPU message in build dir

Philip Kahn

2018-05-04 75295718e1bd5267264f5b7c6b56bb6f659b763b

 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