make boot under includes/ doesn't run make depend

In my working copy of GHC, I removed a file from includes/ (StgTicky.h) and removed the dependencies on it.

Then I ran autoreconf, ./configure, and finally make at the top level.

I got:

$ make
make -C utils/mkdependC boot
make[1]: Entering directory `/home/krc/ghc-hacking/utils/mkdependC'
make[1]: Leaving directory `/home/krc/ghc-hacking/utils/mkdependC'
------------------------------------------------------------------------
== make boot -r;
 in /home/krc/ghc-hacking/includes
------------------------------------------------------------------------
make[1]: *** No rule to make target `StgTicky.h', needed by `mkDerivedConstants.o'.  Stop.

I eventually figured out that I needed to run make depend in includes/, and that updated the dependencies successfully. However, shouldn't make boot in includes run make depend?

Trac metadata

Trac field	Value
Version	6.6
Type	Bug
TypeOfFailure	OtherFailure
Priority	low
Resolution	Unresolved
Component	Build System
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system	Unknown
Architecture	Unknown