« Previous | Next » 

Revision 16a6192d

ID16a6192d6b4b09cc4a61221700a542db3c2c6e9a

Added by Iustin Pop over 11 years ago

Two small Makefile fixes related to htools

First, fix hs-coverage on non-pristine tree, where the index.html file
already existed, and second, disallow compilation of htools binaries
if configure, for some reason, didn't enable them.

Signed-off-by: Iustin Pop <>
Reviewed-by: René Nussbaumer <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences