chiark / gitweb /
apitest: Provide --specs-dir argument to otter(1) when we run it
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Mar 2021 00:47:43 +0000 (00:47 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Mar 2021 00:47:43 +0000 (00:47 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
apitest/apitest.rs

index 960c8e00461dc89ba0ca8c89b389669db55d8805..3c03dd432818afac5aede8100c25d6c9caa42344 100644 (file)
@@ -648,8 +648,10 @@ impl DirSubst {
   pub fn otter<S:AsRef<str>>(&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);