diff options
author | 2012-06-11 12:20:38 -0400 | |
---|---|---|
committer | 2012-06-11 12:21:18 -0400 | |
commit | 129f6123fe933310829986fd5a99a9fd6911ca0f (patch) | |
tree | 2d8b172e0cfa7fc5aa36b8347bc79c5501c01524 /Command | |
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 'Command')
0 files changed, 0 insertions, 0 deletions