diff options
| author | Jude Taylor <me@jude.bio> | 2015-11-14T21·52-0800 |
|---|---|---|
| committer | Jude Taylor <me@jude.bio> | 2015-11-14T22·11-0800 |
| commit | 4876bb012e78e6e397f34fd7fb91f67520cbd744 (patch) | |
| tree | 8d73becfd9ae25f6f2039fc98c2bd01018bff98d /release.nix | |
| parent | d760c2638c9e1f4b8cd9b4ec90d68bf0c76a800b (diff) | |
simplify build permissions
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/release.nix b/release.nix index cb391d0ffa61..8935cfa19680 100644 --- a/release.nix +++ b/release.nix @@ -97,10 +97,9 @@ let enableParallelBuilding = true; - __sandboxProfile = lib.sandbox.allowNetwork - + lib.sandbox.allowFileRead { - literal = [ "/etc" "/etc/nix/nix.conf" "/private/etc/nix/nix.conf" ]; - }; + __sandboxProfile = lib.sandbox.allowFileRead [ + "/etc" "/etc/nix/nix.conf" "/private/etc/nix/nix.conf" + ]; makeFlags = "profiledir=$(out)/etc/profile.d"; |