mirror of
https://github.com/xmonad/xmonad.git
synced 2025-07-26 09:41:53 -07:00
remove unnecessary profiling flag
It was making cabal check unhappy.
This commit is contained in:
@@ -52,11 +52,6 @@ flag generatemanpage
|
|||||||
default: False
|
default: False
|
||||||
manual: True
|
manual: True
|
||||||
|
|
||||||
flag profiling
|
|
||||||
description: Enable profiling
|
|
||||||
default: False
|
|
||||||
manual: True
|
|
||||||
|
|
||||||
library
|
library
|
||||||
hs-source-dirs: src
|
hs-source-dirs: src
|
||||||
exposed-modules: XMonad
|
exposed-modules: XMonad
|
||||||
@@ -92,10 +87,6 @@ library
|
|||||||
extensions: UndecidableInstances
|
extensions: UndecidableInstances
|
||||||
-- needed for XMonad.Config's instance Default (XConfig a)
|
-- needed for XMonad.Config's instance Default (XConfig a)
|
||||||
|
|
||||||
|
|
||||||
if flag(profiling)
|
|
||||||
ghc-prof-options: -prof -auto-all
|
|
||||||
|
|
||||||
if flag(testing)
|
if flag(testing)
|
||||||
buildable: False
|
buildable: False
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user