diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2017-10-07 10:17:45 +0200 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2017-10-07 10:17:45 +0200 |
| commit | af0579f4a1386eafd665f147d0c6c14aba7916fe (patch) | |
| tree | d94f3271aac6f5b7192d176db2fe65428071be87 /release.nix | |
| parent | afdcebc111eae904018f274e66f0468826b3d07c (diff) | |
system-path: fix type
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 0891755..8c15d8b 100644 --- a/release.nix +++ b/release.nix @@ -41,7 +41,8 @@ let set -e ${config.test} - echo ok | tee $out >&2 + echo ok >&2 + touch $out ''; out = config.system.build.toplevel; |