From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 7 Jun 2021 00:13:39 +0000 (+0100)
Subject: prefs bugfix: Pass our argv[0] as a synth arg too
X-Git-Tag: otter-0.7.0~55
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=9d0ff0495fe92982cb88874800b3134dca176f8c;p=otter.git

prefs bugfix: Pass our argv[0] as a synth arg too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/cli/otter.rs b/cli/otter.rs
index 19692860..84dc04d7 100644
--- a/cli/otter.rs
+++ b/cli/otter.rs
@@ -398,7 +398,7 @@ fn main() {
             .context(context())
         ),
       };
-      let synth_args = vec![synth_arg.clone()];
+      let synth_args = vec![args[0].clone(), synth_arg.clone()];
 
       rapc.run(&mut ap, synth_args, None, Some(&|stderr: &mut dyn Write|{
         writeln!(stderr, "Error processing {}\n\