scripts : add helper scripts to synch ggml repo

pull/1145/head
Georgi Gerganov 1 year ago
parent edce63baa9
commit 284685f169
No known key found for this signature in database
GPG Key ID: 449E073F9DC10735

@ -0,0 +1,6 @@
#!/bin/bash
cp -rpv ../ggml/src/ggml.c ./ggml.c
cp -rpv ../ggml/src/ggml-cuda.cu ./ggml-cuda.cu
cp -rpv ../ggml/src/ggml-cuda.h ./ggml-cuda.h
cp -rpv ../ggml/include/ggml/ggml.h ./ggml.h
Loading…
Cancel
Save