diff options
| author | Vincent Laporte | 2019-02-25 07:47:40 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-26 14:47:33 +0000 |
| commit | 3219cf3d4f308153a6ed0d48faee0eb056ccf0de (patch) | |
| tree | c3e8310910389abb0343a47c5a288990d9704099 /dev | |
| parent | 9d6f268723b6352a97bcc3baf0df57f1c1b251fa (diff) | |
[default.nix] Enable parallel build
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/nix/coq.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev/ci/nix/coq.nix b/dev/ci/nix/coq.nix index ecd280e58d..b610790f61 100644 --- a/dev/ci/nix/coq.nix +++ b/dev/ci/nix/coq.nix @@ -5,5 +5,4 @@ let coq = callPackage wd { buildDoc = false; doInstallCheck = false; coq-version coq.overrideAttrs (o: { name = "coq-local-${branch}"; src = fetchGit "${wd}"; - enableParallelBuilding = true; }) |