From: Ian Jackson Date: Fri, 26 Mar 2021 00:47:43 +0000 (+0000) Subject: apitest: Provide --specs-dir argument to otter(1) when we run it X-Git-Tag: otter-0.5.0~397 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=b8ff05de3a198df8ce82015413b0f27d9c5be431;p=otter.git apitest: Provide --specs-dir argument to otter(1) when we run it Signed-off-by: Ian Jackson --- diff --git a/apitest/apitest.rs b/apitest/apitest.rs index 960c8e00..3c03dd43 100644 --- a/apitest/apitest.rs +++ b/apitest/apitest.rs @@ -648,8 +648,10 @@ impl DirSubst { pub fn otter>(&self, xargs: &[S]) { let ds = self; let exe = ds.subst("@target@/debug/otter")?; + let specs = self.subst("@src@/specs")?; let mut args: Vec<&str> = vec![]; args.extend(&["--config", CONFIG]); + args.extend(&["--spec-dir", &specs]); args.extend(xargs.iter().map(AsRef::as_ref)); let dbg = format!("running {} {:?}", &exe, &args); debug!("{}", &dbg);