diff options
| author | jao <jao@gnu.org> | 2017-02-23 00:54:19 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2017-02-23 00:55:43 +0100 |
| commit | dfb5dbd6cc5342348fbb46bd117c226d5e8127e4 (patch) | |
| tree | 54428c169637696931e90f20a21d38565a4de8b1 /xmobar.cabal | |
| parent | f11241d951fd3c32b1ed835c85585d7f1022d61d (diff) | |
| download | xmobar-dfb5dbd6cc5342348fbb46bd117c226d5e8127e4.tar.gz xmobar-dfb5dbd6cc5342348fbb46bd117c226d5e8127e4.tar.bz2 | |
Compiling with --with-rtsopts=-V0 to reduce wakeups (issue #89)
Diffstat (limited to 'xmobar.cabal')
| -rw-r--r-- | xmobar.cabal | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/xmobar.cabal b/xmobar.cabal index 8a17579..153d72b 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -74,6 +74,10 @@ flag with_threaded description: Use threaded runtime. default: False +flag with_rtsopts + description: Use -with-rtsopts=-V0 to reduce wakeups + default: True + flag with_uvmeter description: UVMeter only useful to australians. default: False @@ -138,6 +142,9 @@ executable xmobar ghc-options: -threaded cpp-options: -DTHREADED_RUNTIME + if flag(with_rtsopts) + ghc-options: -with-rtsopts=-V0 + if impl (ghc < 7) cpp-options: -DGHC6 |