summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3c7d63a..dc63f16 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ verify: examples/verify.hs Data/*.hs Data/OpenPGP/*.hs
23keygen: examples/keygen.hs Data/*.hs Data/OpenPGP/*.hs 23keygen: examples/keygen.hs Data/*.hs Data/OpenPGP/*.hs
24 ghc --make $(GHCFLAGS) -o $@ $^ 24 ghc --make $(GHCFLAGS) -o $@ $^
25 25
26tests/suite: tests/suite.hs 26tests/suite: tests/suite.hs Data/*.hs Data/OpenPGP/*.hs
27 ghc --make $(GHCFLAGS) -o $@ $^ 27 ghc --make $(GHCFLAGS) -o $@ $^
28 28
29report.html: examples/*.hs Data/*.hs Data/OpenPGP/*.hs tests/*.hs 29report.html: examples/*.hs Data/*.hs Data/OpenPGP/*.hs tests/*.hs