about summary refs log tree commit diff
path: root/bin/__dispatch.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bin/__dispatch.sh')
-rwxr-xr-xbin/__dispatch.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/__dispatch.sh b/bin/__dispatch.sh
index c4d8b5991987..6eb24beaf5c6 100755
--- a/bin/__dispatch.sh
+++ b/bin/__dispatch.sh
@@ -58,6 +58,9 @@ case "${TARGET_TOOL}" in
   stern)
     attr="third_party.nixpkgs.stern"
     ;;
+  depotfmt)
+    attr="tools.depotfmt"
+    ;;
   *)
     echo "The tool '${TARGET_TOOL}' is currently not installed in this repository."
     exit 1