diff options
Diffstat (limited to 'tools/nixery')
-rw-r--r-- | tools/nixery/.skip-subtree | 1 | ||||
-rw-r--r-- | tools/nixery/default.nix | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/tools/nixery/.skip-subtree b/tools/nixery/.skip-subtree new file mode 100644 index 000000000000..4948dd56eb1d --- /dev/null +++ b/tools/nixery/.skip-subtree @@ -0,0 +1 @@ +Imported subtree is not yet fully readTree-compatible. diff --git a/tools/nixery/default.nix b/tools/nixery/default.nix index 19143fccf6f9..70d5093bb945 100644 --- a/tools/nixery/default.nix +++ b/tools/nixery/default.nix @@ -16,7 +16,8 @@ , preLaunch ? "" , extraPackages ? [] , maxLayers ? 20 -, commitHash ? null }@args: +, commitHash ? null +, ... }@args: with pkgs; |