Run make depend in quickkernel, too.
commit521f740e8971df6fdb1b63933cb534746e86bfae
authorSascha Wildner <saw@online.de>
Fri, 22 Jul 2016 19:17:29 +0000 (22 21:17 +0200)
committerSascha Wildner <saw@online.de>
Fri, 22 Jul 2016 19:18:07 +0000 (22 21:18 +0200)
treeda80abcb04d53900c356095ba25dbff9577290e1
parenta3268cb6a0bf7756350752b1e8c7954fdb650c89
Run make depend in quickkernel, too.

It is much cleaner to do that, just like it is run in quickworld, too.

At the price of a small increase in build time, quickkernel will now
continue working when a new kernel header is added, which broke it
before this commit because the header would not be copied to the right
place in /usr/obj.
Makefile.inc1