diff options
Diffstat (limited to 'scripts/run-all-ppl.sh')
| -rwxr-xr-x | scripts/run-all-ppl.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/run-all-ppl.sh b/scripts/run-all-ppl.sh index bdbbb19c..366d0866 100755 --- a/scripts/run-all-ppl.sh +++ b/scripts/run-all-ppl.sh @@ -1,7 +1,7 @@ #!/bin/bash qnt=(f16 q8_0 q6_k q5_k q5_1 q5_0 q4_k q4_1 q4_0 q3_k q2_k) -args="--no-mmap -ngl 999 -t 8" +args="-ngl 999 -t 8" if [ -z "$1" ]; then echo "usage: $0 <model> [qnt] [args]" |