scripts : fix PR number sed

diff --git a/scripts/sync-llama-am.sh b/scripts/sync-llama-am.sh
index 28a7c9920df0a89eae6427efd25e0f67a27698ce..2a13d79e5bc59052ccec7ab684c715782a9db007 100755 (executable)
--- 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