diff options
| author | Julien Dessaux | 2010-02-08 00:11:46 +0100 |
|---|---|---|
| committer | Julien Dessaux | 2010-02-08 00:16:02 +0100 |
| commit | bfc06f1ff188c9d7faa817034363a27e34eae15a (patch) | |
| tree | b775c8401982544b273da8a22e1c28854eac58d5 /Makefile | |
| parent | Continue rewriting, found a problem in the way I kill plugins. (diff) | |
| download | hsbot-bfc06f1ff188c9d7faa817034363a27e34eae15a.tar.gz hsbot-bfc06f1ff188c9d7faa817034363a27e34eae15a.tar.bz2 hsbot-bfc06f1ff188c9d7faa817034363a27e34eae15a.zip | |
Fixed the clean killing of plugin's threads, fixed exception management and cleaned plugins' main functions.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ all: - ghc --make -Wall -O2 Main.hs -o hsbot + ghc --make -Wall -O2 Main.hs -o hsbot -XScopedTypeVariables clean: - rm hsbot |