diff options
author | 2016-07-06 15:09:56 -0400 | |
---|---|---|
committer | 2016-07-06 15:09:56 -0400 | |
commit | 4e5d8d7458e2fbb5bafe6c8b552d9a91a6a07751 (patch) | |
tree | 8d14345bc6cacc4a8e8caff4abc578eb73252468 /git-annex.cabal | |
parent | 569b5ff748f1bc1a9c46482a34fa4b1e1e481df5 (diff) |
Remove the EKG build flag, since Gentoo for some reason decided to enable this flag, depsite it not being intended for production use and so enabled by default.
Diffstat (limited to 'git-annex.cabal')
-rw-r--r-- | git-annex.cabal | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 82eeb68db..872634c9f 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -292,10 +292,6 @@ Flag MagicMime Flag ConcurrentOutput Description: Use concurrent-output library -Flag EKG - Description: Enable use of EKG to monitor git-annex as it runs (at http://localhost:4242/) - Default: False - Flag Benchmark Description: Enable benchmarking Default: False @@ -470,11 +466,6 @@ Executable git-annex Build-Depends: concurrent-output (>= 1.6) CPP-Options: -DWITH_CONCURRENTOUTPUT - if flag(EKG) - Build-Depends: ekg - GHC-Options: -with-rtsopts=-T - CPP-Options: -DWITH_EKG - if flag(Benchmark) Build-Depends: criterion, deepseq CPP-Options: -DWITH_BENCHMARK |