diff options
| author | Daniel Schüssler <933504+DanielSchuessler@users.noreply.github.com> | 2018-08-26 22:40:27 +0200 |
|---|---|---|
| committer | Daniel Schüssler <933504+DanielSchuessler@users.noreply.github.com> | 2018-10-06 19:53:57 +0200 |
| commit | b9a181870ce82c309613fba17edd9fd0b78b43cc (patch) | |
| tree | ab325d0172724404944dbeaf9697d93e5bf46434 /xmobar.cabal | |
| parent | 31fa44e9aa4ba4d3db8688d785b766fd5e7cf8f1 (diff) | |
| download | xmobar-b9a181870ce82c309613fba17edd9fd0b78b43cc.tar.gz xmobar-b9a181870ce82c309613fba17edd9fd0b78b43cc.tar.bz2 | |
Signal termination to plugin threads and wait for them upon program exit
This is necessary to allow the plugin threads to run their cleanup actions.
Diffstat (limited to 'xmobar.cabal')
| -rw-r--r-- | xmobar.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xmobar.cabal b/xmobar.cabal index 1a3684c..5061507 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -187,7 +187,8 @@ executable xmobar mtl >= 2.1 && < 2.3, parsec == 3.1.*, parsec-numbers >= 0.1.0, - stm >= 2.3 && < 2.6 + stm >= 2.3 && < 2.6, + async if impl(ghc < 8.0.2) -- Disable building with GHC before 8.0.2. |