diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/releases/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/releases/default.nix b/tools/releases/default.nix index d38ca0b5d8be..0df07bbc9c5a 100644 --- a/tools/releases/default.nix +++ b/tools/releases/default.nix @@ -17,7 +17,7 @@ in command = pkgs.writeShellScript "${sanitizeDerivationName filter}-push" '' set -e - export PATH="${makeBinPath [ pkgs.git depot.third_party.josh ]}:$PATH" + export PATH="${makeBinPath [ pkgs.git pkgs.josh ]}:$PATH" echo 'Filtering depot through ${filter}' josh-filter '${filter}' |