diff options
| author | tv <tv@krebsco.de> | 2018-10-27 15:02:39 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-10-27 15:02:39 +0200 |
| commit | 212bc39249f9792cbedf2e9a6b3fed90c52c63e7 (patch) | |
| tree | de2a5cf0be852b8beb8317481649460194f40d5b /tv/krops.nix | |
| parent | 34e1f09bf5e233bee78ee63166d2a1d9944a51f9 (diff) | |
| parent | 24f4e8dcf0eca55378fa018a9ed980625222653d (diff) | |
Merge remote-tracking branch 'prism/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; }; |