From: Georgi Gerganov <redacted>
Date: Sat, 29 Apr 2023 09:32:05 +0000 (+0300)
Subject: extra : add sync-ggml.sh script
X-Git-Tag: upstream/1.7.4~1473
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=3eaeb030ff7afac62aed44350ce7e24df4764cda;p=pkg%2Fggml%2Fsources%2Fwhisper.cpp

extra : add sync-ggml.sh script
---

diff --git a/extra/sync-ggml.sh b/extra/sync-ggml.sh
new file mode 100755
index 00000000..e6e39ff8
--- /dev/null
+++ b/extra/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