diff options
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 |