diff options
author | Joey Hess <joey@kitenet.net> | 2012-06-11 12:20:38 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-06-11 12:21:18 -0400 |
commit | 129f6123fe933310829986fd5a99a9fd6911ca0f (patch) | |
tree | 2d8b172e0cfa7fc5aa36b8347bc79c5501c01524 /Makefile | |
parent | a5a3cd55ac2bab656824e48d29ead8382c583b01 (diff) |
Build with ghc's threaded runtime, so threaded code does not busy-wait.
Sort of a work around for http://bugs.debian.org/677096
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ PREFIX=/usr IGNORE=-ignore-package monads-fd -ignore-package monads-tf -BASEFLAGS=-Wall $(IGNORE) -outputdir tmp -IUtility -DWITH_S3 +BASEFLAGS=-threaded -Wall $(IGNORE) -outputdir tmp -IUtility -DWITH_S3 GHCFLAGS=-O2 $(BASEFLAGS) ifdef PROFILE |