diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-01-22 11:51:54 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-01-22 11:53:14 -0400 |
| commit | a83987e95a45a7b48925292748f6f470d41d2ea3 (patch) | |
| tree | abe728bf006b9a9430731d12ab16b89fbe009a13 /doc | |
| parent | 491b64541b7f81725b5fc45ce6b1026bb39d8430 (diff) | |
avoid running BUILDER clean when it's cabal
This alows debian/rules clean to work when build deps are not installed.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bugs/debian__47__rules_clean_fails_with_with_cabal_not_found/comment_3_0e944b73b3bfe2edc310710f17807985._comment | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/bugs/debian__47__rules_clean_fails_with_with_cabal_not_found/comment_3_0e944b73b3bfe2edc310710f17807985._comment b/doc/bugs/debian__47__rules_clean_fails_with_with_cabal_not_found/comment_3_0e944b73b3bfe2edc310710f17807985._comment new file mode 100644 index 000000000..69bf69aa3 --- /dev/null +++ b/doc/bugs/debian__47__rules_clean_fails_with_with_cabal_not_found/comment_3_0e944b73b3bfe2edc310710f17807985._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 3""" + date="2016-01-22T15:49:19Z" + content=""" +That's a reasonable thing to want to do. It might be that passing -nc to +dpkg-buildpackage would be the best thing to do. In any case, +I've adjusted the Makefile. +"""]] |