scripts : sync-ggml-am.sh add option to skip commits

pull/1765/head^2
Georgi Gerganov 2024-01-14 10:53:19 +02:00
parent f001a3b7b6
commit 654baf693d
No known key found for this signature in database
GPG Key ID: 449E073F9DC10735
1 changed files with 13 additions and 1 deletions

View File

@ -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 \