diff options
author | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-24 13:02:10 -0500 |
---|---|---|
committer | Stephen Paul Weber <singpolyma@singpolyma.net> | 2012-04-24 13:02:10 -0500 |
commit | 907855b59542682dce5181dd76441395e2e161d5 (patch) | |
tree | b8daf81a0d8a6b5b31c5c7051f7f65942f22d409 | |
parent | cb5c1644b6540939e8d5aa1b8fef80b797577166 (diff) |
more complete clean rule
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -39,8 +39,8 @@ dist/setup-config: openpgp.cabal | |||
39 | 39 | ||
40 | clean: | 40 | clean: |
41 | find -name '*.o' -o -name '*.hi' | xargs $(RM) | 41 | find -name '*.o' -o -name '*.hi' | xargs $(RM) |
42 | $(RM) sign verify | 42 | $(RM) sign verify keygen |
43 | $(RM) -r dist | 43 | $(RM) -r dist dist-ghc |
44 | 44 | ||
45 | debian/control: openpgp.cabal | 45 | debian/control: openpgp.cabal |
46 | cabal-debian --update-debianization | 46 | cabal-debian --update-debianization |