diff options
author | Georgi Gerganov <ggerganov@gmail.com> | 2024-01-27 16:59:20 +0200 |
---|---|---|
committer | Georgi Gerganov <ggerganov@gmail.com> | 2024-01-27 17:00:24 +0200 |
commit | 753eafed0ebd07af6903771327a1786a7c02cf98 (patch) | |
tree | 2d0cd9d527e4bb26c6eb47009e58217a2db04e77 | |
parent | e9764230054e01553bdead6f2bfd8e001869599d (diff) |
sync : ggml
-rw-r--r-- | examples/server/utils.hpp | 1 | ||||
-rw-r--r-- | scripts/sync-ggml.last | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/examples/server/utils.hpp b/examples/server/utils.hpp index e2b6065f..70cce072 100644 --- a/examples/server/utils.hpp +++ b/examples/server/utils.hpp @@ -249,6 +249,7 @@ struct llama_server_queue { } // Start the main loop. This call is blocking + [[noreturn]] void start_loop() { while (true) { // new task arrived diff --git a/scripts/sync-ggml.last b/scripts/sync-ggml.last index 4d52d946..efde0069 100644 --- a/scripts/sync-ggml.last +++ b/scripts/sync-ggml.last @@ -1 +1 @@ -6c1ce0bd591a430c1d3f6797d905194581c878c1 +c2448f88d17395452a587d0176d19ed87e0f7ce1 |