summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorgi Gerganov <ggerganov@gmail.com>2024-01-27 16:59:20 +0200
committerGeorgi Gerganov <ggerganov@gmail.com>2024-01-27 17:00:24 +0200
commit753eafed0ebd07af6903771327a1786a7c02cf98 (patch)
tree2d0cd9d527e4bb26c6eb47009e58217a2db04e77
parente9764230054e01553bdead6f2bfd8e001869599d (diff)
sync : ggml
-rw-r--r--examples/server/utils.hpp1
-rw-r--r--scripts/sync-ggml.last2
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