chiark / gitweb /
wdt: Break out specs_dir nfc
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 20:43:37 +0000 (20:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Jan 2021 20:45:35 +0000 (20:45 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver.rs

index e4e1b2ac8a03e7ccd960d3ff360428fefe9d92d4..6f952363b92531a4ba030b7badeca812264146d9 100644 (file)
@@ -242,7 +242,7 @@ impl Substitutor for DirSubst {
       "build"  => self.start_dir.clone(),
       "abstmp" => self.abstmp.clone(),
       "target" => format!("{}/target", &self.start_dir),
-      "specs"  => format!("{}/specs" , &self.src      ),
+      "specs"  => self.specs_dir(),
       _ => return None,
     })
   }
@@ -614,6 +614,10 @@ _ = "error" # rocket
 }
 
 impl DirSubst {
+  pub fn specs_dir(&self) -> String {
+    format!("{}/specs" , &self.src)
+  }
+
   #[throws(AE)]
   pub fn otter<S:AsRef<str>>(&self, xargs: &[S]) {
     let ds = self;