From 3219cf3d4f308153a6ed0d48faee0eb056ccf0de Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 25 Feb 2019 07:47:40 +0000
Subject: [default.nix] Enable parallel build

---
 dev/ci/nix/coq.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

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;
 })
-- 
cgit v1.2.3