From: Georgi Gerganov <redacted>
Date: Sat, 23 Dec 2023 15:54:07 +0000 (+0200)
Subject: scripts : fix PR number sed
X-Git-Tag: upstream/0.0.1642~1168
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=0dff1c27307877f36c0d95ca0317ae6e7fc0029b;p=pkg%2Fggml%2Fsources%2Fggml

scripts : fix PR number sed
---

diff --git a/scripts/sync-llama-am.sh b/scripts/sync-llama-am.sh
index 28a7c992..2a13d79e 100755
--- a/scripts/sync-llama-am.sh
+++ b/scripts/sync-llama-am.sh
@@ -32,11 +32,13 @@ git format-patch $lc --stdout -- ggml* > $SRC_GGML/llama-am.patch
 cd $SRC_GGML
 
 # replace PR numbers
-# Subject: [PATCH] some text (#1234)
-# Subject: [PATCH] some text (llama/1234)
-cat llama-am.patch | sed -e 's/^Subject: \[PATCH\] \(.*\) (#\([0-9]*\))/Subject: [PATCH] \1 (llama\/\2)/' > llama-am.patch.tmp
+# Subject: some text (#1234)
+# Subject: some text (llama/1234)
+cat llama-am.patch | sed -e 's/^Subject: \(.*\) (#\([0-9]*\))/Subject: \1 (llama\/\2)/' > llama-am.patch.tmp
 mv llama-am.patch.tmp llama-am.patch
 
+exit
+
 git am -p1 --directory src llama-am.patch
 
 # update last commit