diff options
| author | Théo Zimmermann | 2019-03-19 17:55:58 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-19 17:55:58 +0100 |
| commit | 0a2773c90b69e301ec1d7203e8188694244b0167 (patch) | |
| tree | 747fb9d6280cf313a087435319ed9201aeb556ce /default.nix | |
| parent | 2b68b2223527b5bc247bd338ae4613a00654636c (diff) | |
| parent | 3219cf3d4f308153a6ed0d48faee0eb056ccf0de (diff) | |
Merge PR #9647: [default.nix] Enable parallel build
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 3cc0bfb11f..1e2cb3625d 100644 --- a/default.nix +++ b/default.nix @@ -82,6 +82,8 @@ stdenv.mkDerivation rec { prefixKey = "-prefix "; + enableParallelBuilding = true; + buildFlags = [ "world" "byte" ] ++ optional buildDoc "doc-html"; installTargets = |