diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-30 15:56:15 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-30 15:56:15 +0200 |
| commit | 9bdb88ea6e833ad61d6833aa09560d32c9bc39df (patch) | |
| tree | f21cf62f7e31e2ed916fe256bf48a9d66cb78370 /release-common.nix | |
| parent | fe08d17934e6abe3e8566706f53063166b881f8c (diff) | |
Only pass --with-sandbox-shell on Linux
Diffstat (limited to 'release-common.nix')
| -rw-r--r-- | release-common.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release-common.nix b/release-common.nix index 8047c75bd..c64fc619d 100644 --- a/release-common.nix +++ b/release-common.nix @@ -16,6 +16,7 @@ rec { configureFlags = [ "--disable-init-state" "--enable-gc" + ] ++ pkgs.lib.optionals pkgs.stdenv.isLinux [ "--with-sandbox-shell=${sh}/bin/busybox" ]; } |