scripts : allow to skip commits during sync (#678)

diff --git a/scripts/sync-llama-am.sh b/scripts/sync-llama-am.sh
index c3caebdf37da5a63f0327d2f1c3de6e46438f78d..0aab3dcbb9e76c262bfdb6e9c63c463721636043 100755 (executable)
--- a/scripts/sync-llama-am.sh
+++ b/scripts/sync-llama-am.sh
@@ -5,7 +5,7 @@
 # Usage:
 #
 #   $ cd /path/to/ggml
-#   $ ./scripts/sync-llama-am.sh
+#   $ ./scripts/sync-llama-am.sh -skip hash0,hash1,hash2...
 #
 
 set -e
@@ -24,6 +24,11 @@ fi
 lc=$(cat $SRC_GGML/scripts/sync-llama.last)
 echo "Syncing llama.cpp changes since commit $lc"
 
+to_skip=""
+if [ "$1" == "-skip" ]; then
+    to_skip=$2
+fi
+
 cd $SRC_LLAMA
 
 git log --oneline $lc..HEAD
@@ -40,6 +45,13 @@ if [ -f $SRC_GGML/llama-src.patch ]; then
 fi
 
 while read c; do
+    if [ -n "$to_skip" ]; then
+        if [[ $to_skip == *"$c"* ]]; then
+            echo "Skipping $c"
+            continue
+        fi
+    fi
+
     git format-patch -k $c~1..$c --stdout -- \
         ggml*.h \
         ggml*.c \

diff --git a/scripts/sync-llama.last b/scripts/sync-llama.last
index dbdf4bcc93b9987d3fd01b150044438be99e0fa6..68a5adb8049c7b04419ffda997aadfd09bd7ad08 100644 (file)
--- a/scripts/sync-llama.last
+++ b/scripts/sync-llama.last
@@ -1 +1 @@
-7d4265af83a8a5ab1b3b90094434e130e4d4a58b
+dd22e4f9081080440024b19fe97045d498e8cddf

diff --git a/scripts/sync-whisper-am.sh b/scripts/sync-whisper-am.sh
index bdc4d176410c558d5d5183565349e3b51e862a38..dcbf8ce306845d9c9aa7cbf3c54751d37f1c2e3d 100755 (executable)
--- a/scripts/sync-whisper-am.sh
+++ b/scripts/sync-whisper-am.sh
@@ -5,7 +5,7 @@
 # Usage:
 #
 #   $ cd /path/to/ggml
-#   $ ./scripts/sync-whisper-am.sh
+#   $ ./scripts/sync-whisper-am.sh -skip hash0,hash1,hash2...
 #
 
 set -e
@@ -24,6 +24,11 @@ fi
 lc=$(cat $SRC_GGML/scripts/sync-whisper.last)
 echo "Syncing whisper.cpp changes since commit $lc"
 
+to_skip=""
+if [ "$1" == "-skip" ]; then
+    to_skip=$2
+fi
+
 cd $SRC_WHISPER
 
 git log --oneline $lc..HEAD
@@ -40,6 +45,13 @@ if [ -f $SRC_GGML/whisper-src.patch ]; then
 fi
 
 while read c; do
+    if [ -n "$to_skip" ]; then
+        if [[ $to_skip == *"$c"* ]]; then
+            echo "Skipping $c"
+            continue
+        fi
+    fi
+
     git format-patch -k $c~1..$c --stdout -- \
     ggml*.h \
     ggml*.c \

diff --git a/scripts/sync-whisper.last b/scripts/sync-whisper.last
index 0cc74fbe5c9c1b7ddd1c57e0d59e42eee23c083c..082063465b4c592f27abf02c6f97ef795ae667f1 100644 (file)
--- a/scripts/sync-whisper.last
+++ b/scripts/sync-whisper.last
@@ -1 +1 @@
-2623640cd6b8e077ffb1fbe3c265208da3a0ca6d
+14c57952f7a53a82819bbfcfcc6a91682c66ddbf