linkfarm auto for miri, undocumented

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

diff --git a/nailing-cargo b/nailing-cargo
index 302be9fa5c51e0c1d1b7b870c7b840eeb336f7d8..829f95559987e61976b9c3d05caeb319f5b390cf 100755 (executable)
--- a/nailing-cargo
+++ b/nailing-cargo
@@ -107,6 +107,7 @@ our %subcmd_props = (
  update            =>[qw( lock-update !target online                     )],
  fetch             =>[qw(                     online   !target-dir       )],
  fmt               =>[qw( !locked     !target !offline !target-dir edits )],
+ miri              =>[qw( !locked             !offline  linkfarm-shallow )],
                    );
 
 our @subcmd_xprops = qw(!manifest-path);
@@ -571,7 +572,10 @@ sub addargs () {
   $online //= 0;
 
   $cargo_lock_update //= subcmd_p('lock-update');
-  $linkfarm_depth //= $cargo_lock_update ? 'shallow' : '';
+  $linkfarm_depth //=
+    subcmd_p('linkfarm-shallow') ? 'shallow' :
+    $cargo_lock_update           ? 'shallow' :
+    '';
 
   our @add;