diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-02-22 22:10:20 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-02-22 22:10:20 -0800 |
commit | d7cfa0ef4c926d6bb91d0a870edeea8911d81c3a (patch) | |
tree | 3e4ab70ce50b887a93bc199a037653d64da4a77c /pandoc.cabal | |
parent | 21d0b4745b46f8622b31647c81a9d9178b1a579d (diff) | |
download | pandoc-d7cfa0ef4c926d6bb91d0a870edeea8911d81c3a.tar.gz |
Remove weigh-pandoc.
It's not really useful any more, now that our regular
benchmarks include data on allocation.
Diffstat (limited to 'pandoc.cabal')
-rw-r--r-- | pandoc.cabal | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index 30226f445..e4001abb8 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -725,14 +725,6 @@ executable trypandoc else buildable: False -benchmark weigh-pandoc - import: common-executable - type: exitcode-stdio-1.0 - main-is: weigh-pandoc.hs - hs-source-dirs: benchmark - build-depends: mtl >= 2.2 && < 2.3, - weigh >= 0.0 && < 0.1, - test-suite test-pandoc import: common-executable type: exitcode-stdio-1.0 |