diff options
| author | tv <tv@krebsco.de> | 2018-10-07 16:45:21 +0200 | 
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-10-07 16:45:21 +0200 | 
| commit | e2b29654251367545700154ffbac806705dd04c0 (patch) | |
| tree | fd4f59ff7244c8e9b02bb661a6257ac7dc37e260 | |
| parent | bc6615457e05cca7aeb79337ec8946d128165f80 (diff) | |
| -rw-r--r-- | pkgs/krops/default.nix | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/pkgs/krops/default.nix b/pkgs/krops/default.nix index 0f32ae1..20b1d4f 100644 --- a/pkgs/krops/default.nix +++ b/pkgs/krops/default.nix @@ -35,6 +35,7 @@ in        ${nix}/bin/nix-build \            -A system \            -I ${target'.path} \ +          --keep-going \            --no-out-link \            --show-trace \            '<nixpkgs/nixos>' | 
