diff options
author | Ian Lynagh <igloo@earth.li> | 2009-02-13 18:50:28 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2009-02-13 18:50:28 +0000 |
commit | f83abdb15139627b4e93fb5651b62bf136f8794e (patch) | |
tree | ae91aa0f4c8953efe68e728868d76b259fe1cc39 /src/haddock.sh | |
parent | 73dcc6cffa965c0e674090753adaf0e4ff9cedcc (diff) |
do .depend generation for haddock with the stage1 compiler
This is a bit of a hack. We mkdepend with stage1 as if .depend
depends on the stage2 compiler then make goes wrong: haddock's
.depend gets included, which means that make won't reload until
it's built, but we can't build it without the stage2 compiler. We
therefore build the stage2 compiler before its .depend file is
available, and so compilation fails.
Diffstat (limited to 'src/haddock.sh')
0 files changed, 0 insertions, 0 deletions