Two small Makefile fixes related to htools
authorIustin Pop <iustin@google.com>
Thu, 7 Apr 2011 07:45:43 +0000 (09:45 +0200)
committerIustin Pop <iustin@google.com>
Thu, 7 Apr 2011 09:36:45 +0000 (11:36 +0200)
commit16a6192d6b4b09cc4a61221700a542db3c2c6e9a
treedf3c56c6873de10a97cac5f728fc57942e319b48
parent8d66f58a2ec50119f081d3db869c95acbc5a0090
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 <iustin@google.com>
Reviewed-by: RenĂ© Nussbaumer <rn@google.com>
Makefile.am