diff options
| author | jeschli <jeschli@gmail.com> | 2018-10-26 12:25:40 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-10-26 12:25:40 +0200 |
| commit | a6670e5090dd71aacd7c7605b12d8d3410d25daa (patch) | |
| tree | 8475a3cc3583d94959a1cc8b6effcd3b8c10a32a /tv/krops.nix | |
| parent | f6ad60a0c6cbac45e8ba715b24a7a37f8e2560dc (diff) | |
| parent | 24f4e8dcf0eca55378fa018a9ed980625222653d (diff) | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'tv/krops.nix')
| -rw-r--r-- | tv/krops.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tv/krops.nix b/tv/krops.nix index 231486ab7..e922630f7 100644 --- a/tv/krops.nix +++ b/tv/krops.nix @@ -16,6 +16,7 @@ # usage: $(nix-build --no-out-link --argstr name HOSTNAME --argstr target PATH -A test) test = { target }: pkgs.krops.writeTest "tv-krops-${name}-ci" { + force = true; inherit source target; }; |