From d4a5db873a62a810ea23cacb045a2fab5181500b Mon Sep 17 00:00:00 2001 From: "dupont-y@univ-nantes.fr" Date: Mon, 30 Jun 2025 11:08:55 +0200 Subject: [PATCH] missing = ? --- glicid/services/parallel.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/glicid/services/parallel.scm b/glicid/services/parallel.scm index 10074b5..86a930e 100644 --- a/glicid/services/parallel.scm +++ b/glicid/services/parallel.scm @@ -51,7 +51,7 @@ "-F" "-f" "-M" "-S" #$socket-path "--key-file" #$key-file - "--num-threads" threads) + "--num-threads=" threads) #:log-file #$log-file)) (stop #~(make-kill-destructor)))))))