aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorGeorgi Gerganov <ggerganov@gmail.com>2023-04-23 19:57:09 +0300
committerGeorgi Gerganov <ggerganov@gmail.com>2023-04-23 19:57:09 +0300
commit284685f1692258c2bcf08b86b723b80ba2e66c7a (patch)
treef6790218418e0af3ba0e634b9046a0ce2bf117f3 /scripts
parentedce63baa9dbd3963c3441bce07ee0acbb635697 (diff)
scripts : add helper scripts to synch ggml repo
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/sync-ggml.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/sync-ggml.sh b/scripts/sync-ggml.sh
new file mode 100755
index 0000000..e6e39ff
--- /dev/null
+++ b/scripts/sync-ggml.sh
@@ -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