mirror of
https://github.com/xmonad/xmonad.git
synced 2025-07-31 20:21:52 -07:00
Merge pull request #57 from xmonad/prof-flag
only turn on -prof -auto-all with profiling flag
This commit is contained in:
@@ -50,6 +50,11 @@ flag generatemanpage
|
||||
default: False
|
||||
manual: True
|
||||
|
||||
flag profiling
|
||||
description: Enable profiling
|
||||
default: False
|
||||
manual: True
|
||||
|
||||
library
|
||||
hs-source-dirs: src
|
||||
exposed-modules: XMonad
|
||||
@@ -85,7 +90,8 @@ library
|
||||
-- needed for XMonad.Config's instance Default (XConfig a)
|
||||
|
||||
|
||||
ghc-prof-options: -prof -auto-all
|
||||
if flag(profiling)
|
||||
ghc-prof-options: -prof -auto-all
|
||||
|
||||
if flag(testing)
|
||||
buildable: False
|
||||
|
Reference in New Issue
Block a user