diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2015-11-02 19:12:53 +0100 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2015-11-02 19:12:53 +0100 |
commit | 781599d59e66dcb5bfc4bfeb747c651b258c46e7 (patch) | |
tree | 7c40b815ec240ba393ea81b178bd28bbfd7775cf /Dh_Haskell.sh | |
parent | 64745b0cd951e148d690d7cbbd01d0bf8906cc85 (diff) |
Run haddock more verbosely. Closes: #803685. Thanks to Chris Lamb for the patch.
Diffstat (limited to 'Dh_Haskell.sh')
-rw-r--r-- | Dh_Haskell.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dh_Haskell.sh b/Dh_Haskell.sh index ab61a10..d3fd840 100644 --- a/Dh_Haskell.sh +++ b/Dh_Haskell.sh @@ -431,7 +431,7 @@ haddock_recipe(){ # local PS5=$PS4; PS4=" + haddock_recipe> "; set -x hc=`packages_hc` haddock=`hc_haddock ${hc}` - [ ! -x /usr/bin/${haddock} ] || run ${DEB_SETUP_BIN_NAME} haddock --builddir=dist-${hc} --with-haddock=/usr/bin/${haddock} --with-ghc=${hc} ${DEB_HADDOCK_OPTS} || \ + [ ! -x /usr/bin/${haddock} ] || run ${DEB_SETUP_BIN_NAME} haddock --builddir=dist-${hc} --with-haddock=/usr/bin/${haddock} --with-ghc=${hc} --verbose=2 ${DEB_HADDOCK_OPTS} || \ echo "Haddock failed (no modules?), creating empty documentation package." # PS4=$PS5 } |