diff options
| author | jao <jao@gnu.org> | 2016-07-27 01:14:36 +0200 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2016-07-27 01:14:36 +0200 |
| commit | cb3c353d02d707f9f03f712bdb175195c3e97ad6 (patch) | |
| tree | dad9ebe0955218081559dcc5578ec28c3076bde6 | |
| parent | c488d6063ba3a1e67c793e1948b05066417a1d91 (diff) | |
| download | xmobar-cb3c353d02d707f9f03f712bdb175195c3e97ad6.tar.gz xmobar-cb3c353d02d707f9f03f712bdb175195c3e97ad6.tar.bz2 | |
Better ghc-prof-options: no -auto-all
| -rw-r--r-- | xmobar.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xmobar.cabal b/xmobar.cabal index 4a268fb..03d5b52 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -105,7 +105,7 @@ executable xmobar Plugins.Monitors.Bright, Plugins.Monitors.CatInt, Plugins.Monitors.UVMeter - ghc-prof-options: -prof -auto-all + ghc-prof-options: -prof ghc-options: -funbox-strict-fields -Wall -fno-warn-unused-do-bind extra-libraries: Xrandr Xrender |