make boot under includes/ doesn't run make depend

[kirsten]

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?

[simonmar]

Fixed and merged.