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>' |