diff options
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 17 |
1 files changed, 3 insertions, 14 deletions
diff --git a/release.nix b/release.nix index 9e70e42b3..8281853fe 100644 --- a/release.nix +++ b/release.nix @@ -80,11 +80,7 @@ let --enable-gc ''; - installCheckPhase = '' - make installcheck - ''; - - postPhases = [ "installCheckPhase" ]; + doInstallCheck = true; }; @@ -109,11 +105,7 @@ let dontInstall = false; - installCheckPhase = '' - make installcheck - ''; - - postPhases = [ "installCheckPhase" ]; + doInstallCheck = true; lcovFilter = [ "*/boost/*" "*-tab.*" ]; @@ -195,10 +187,7 @@ let meta.schedulingPriority = prio; configureFlags = "--sysconfdir=/etc"; debRequires = [ "curl" "libdbd-sqlite3-perl" "libsqlite3-0" "libbz2-1.0" ]; - installCheckPhase = '' - make installcheck - ''; - postPhases = [ "installCheckPhase" ]; + doInstallCheck = true; }; |