Revision 16a6192d
| ID | 16a6192d6b4b09cc4a61221700a542db3c2c6e9a |
| Parent | 8d66f58a |
| Child | a810ad21 |
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>
Files
- added
- modified
- copied
- renamed
- deleted