From 654baf693d6d343585e6a014c3c20674754c64d1 Mon Sep 17 00:00:00 2001 From: Georgi Gerganov Date: Sun, 14 Jan 2024 10:53:19 +0200 Subject: [PATCH] scripts : sync-ggml-am.sh add option to skip commits --- extra/sync-ggml-am.sh | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/extra/sync-ggml-am.sh b/extra/sync-ggml-am.sh index 25f53729..a88418c4 100755 --- a/extra/sync-ggml-am.sh +++ b/extra/sync-ggml-am.sh @@ -5,7 +5,7 @@ # Usage: # # $ cd /path/to/whisper.cpp -# $ ./extra/sync-ggml-am.sh +# $ ./extra/sync-ggml-am.sh -skip hash0,hash1,hash2... # set -e @@ -24,6 +24,11 @@ fi lc=$(cat $SRC_WHISPER/extra/sync-ggml.last) echo "Syncing ggml changes since commit $lc" +to_skip="" +if [ "$1" == "-skip" ]; then + to_skip=$2 +fi + cd $SRC_GGML git log --oneline $lc..HEAD @@ -40,6 +45,13 @@ if [ -f $SRC_WHISPER/ggml-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 -- \ include/ggml/ggml*.h \ src/ggml*.h \