summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dht-client.cabal10
1 files changed, 2 insertions, 8 deletions
diff --git a/dht-client.cabal b/dht-client.cabal
index 3da1a372..0124321a 100644
--- a/dht-client.cabal
+++ b/dht-client.cabal
@@ -36,10 +36,6 @@ source-repository this
36 branch: master 36 branch: master
37 tag: v0.0.0.4 37 tag: v0.0.0.4
38 38
39flag prof
40 description: Enable profiling options
41 default: False
42
43flag network-uri 39flag network-uri
44 description: Use network-uri package. 40 description: Use network-uri package.
45 default: True 41 default: True
@@ -305,10 +301,8 @@ executable dhtd
305 build-depends: time 301 build-depends: time
306 cpp-options: -DTHREAD_DEBUG -DRENDERFLUSH 302 cpp-options: -DTHREAD_DEBUG -DRENDERFLUSH
307 303
308 if flag(prof) 304 ghc-options: -rtsopts -fdefer-typed-holes -threaded
309 ghc-options: -g -prof -rtsopts -fdefer-typed-holes -threaded 305 ghc-prof-options: -g
310 else
311 ghc-options: -rtsopts -fdefer-typed-holes -threaded
312 306
313executable testcookie 307executable testcookie
314 buildable: False 308 buildable: False