diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-12-10 18:49:45 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-12-10 18:49:45 +0100 |
| commit | 72514d19a8d229ef4696a74d4187a734d66bb568 (patch) | |
| tree | 6c181cbf8065a13a79e66430ea02abca9be75ab4 | |
| parent | 2ec1527c1641b6165999c9e05cb91ab2edfcd527 (diff) | |
| download | xmobar-72514d19a8d229ef4696a74d4187a734d66bb568.tar.gz xmobar-72514d19a8d229ef4696a74d4187a734d66bb568.tar.bz2 | |
cabal file tweak0.14
| -rw-r--r-- | xmobar.cabal | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/xmobar.cabal b/xmobar.cabal index 39b64dc..99a6beb 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -85,8 +85,9 @@ executable xmobar ghc-options: -funbox-strict-fields -Wall -threaded extra-libraries: Xrandr - if impl (ghc == 6.10.1) && arch (x86_64) - ghc-options: -O0 + -- Use --disable-optimization configure flag + -- if impl (ghc == 6.10.1) && arch (x86_64) + -- ghc-options: -O0 if impl (ghc >= 6.12.1) ghc-options: -fno-warn-unused-do-bind |