diff options
| author | Georgi Gerganov <ggerganov@gmail.com> | 2024-01-14 11:08:09 +0200 |
|---|---|---|
| committer | Georgi Gerganov <ggerganov@gmail.com> | 2024-01-14 11:08:41 +0200 |
| commit | 9408cfdad6b1c090a7e1419d4434edc260b7e47e (patch) | |
| tree | 1c5cf01cf9e24a84c9bfb97d75623d30a0e12414 /scripts/sync-ggml-am.sh | |
| parent | 03c526749041c863b0cd842b26b8907e1ea0e0b1 (diff) | |
scripts : sync-ggml-am.sh option to skip commits
Diffstat (limited to 'scripts/sync-ggml-am.sh')
| -rwxr-xr-x | scripts/sync-ggml-am.sh | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/scripts/sync-ggml-am.sh b/scripts/sync-ggml-am.sh index 248cf102..6b2514a1 100755 --- a/scripts/sync-ggml-am.sh +++ b/scripts/sync-ggml-am.sh @@ -5,7 +5,7 @@ # Usage: # # $ cd /path/to/llama.cpp -# $ ./scripts/sync-ggml-am.sh +# $ ./scripts/sync-ggml-am.sh -skip hash0,hash1,hash2... # set -e @@ -24,6 +24,11 @@ fi lc=$(cat $SRC_LLAMA/scripts/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_LLAMA/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 \ |