From 79211ef199934a1d964a6c62593360ae6a11fc18 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 20 Jun 2024 14:50:24 +0200 Subject: [PATCH] WIP --- src/command.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/command.ml b/src/command.ml index da5a2a5..c571800 100644 --- a/src/command.ml +++ b/src/command.ml @@ -186,7 +186,7 @@ let string_of_command_spec_with_calls call_with_tags call_with_target resolve_vi aux buf (fun x -> Shell.quote_filename_if_needed x) q; let c = Buffer.contents buf in put_space (); - Buffer.add_string b ("'" ^ c ^ "'"); + Buffer.add_string b (Shell.quote_filename_if_needed c); do_specs rest | x :: rest -> do_spec x;