From 66c99b0cf50bb1d6290f55c209e9541b50ce41e8 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 22 Dec 2011 10:58:27 +0000
Subject: [PATCH] =?UTF-8?q?*=20=E2=80=98--disable-shared=E2=80=99=20is=20n?=
 =?UTF-8?q?o=20longer=20supported.=20=20Fortunately=20it's=20not=20=20=20n?=
 =?UTF-8?q?eeded=20for=20the=20coverage=20analysis.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 release.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/release.nix b/release.nix
index 4f3e5fac02..91f3752d56 100644
--- a/release.nix
+++ b/release.nix
@@ -1,5 +1,5 @@
 { nixpkgs ? <nixpkgs>, nixos ? <nixos>
-, nix ? { outPath = ../nix-export; rev = 1234; }
+, nix ? { outPath = ./.; rev = 1234; }
 , officialRelease ? false
 }:
 
@@ -98,7 +98,7 @@ let
           ];
 
         configureFlags = ''
-          --disable-init-state --disable-shared
+          --disable-init-state
           --with-bzip2=${bzip2} --with-sqlite=${sqlite}
           --with-dbi=${perlPackages.DBI}/lib/perl5/site_perl
           --with-dbd-sqlite=${perlPackages.DBDSQLite}/lib/perl5/site_perl