extra : add sync-ggml.sh script

pull/833/head
Georgi Gerganov 2023-04-29 12:32:05 +03:00
parent acec73ab6e
commit 3eaeb030ff
No known key found for this signature in database
GPG Key ID: 449E073F9DC10735
1 changed files with 6 additions and 0 deletions

View File

@ -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