Makefile can detect changes in alternate KFS dirs
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Dec 2013 07:55:07 +0000 (23:55 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 16 Jan 2014 21:07:51 +0000 (13:07 -0800)
commit3221b3c166a6729a2c9ba3f1fd3de87efaa2f4a1
treef636167cdd0af972ee95517daeb0bb9a51ec7254
parent4dae8cf5a2b282af310851e7a92f1f02afe21727
Makefile can detect changes in alternate KFS dirs

If we don't have kfs-paths as the source of kern_initramfs_files, make
probably won't notice the change to files in any directory other than
FIRST_KFS_PATH, and thus it won't rebuild KFS with the updated files.

This change can detect missing directories too, though you'll need to
run make a couple times if you recently had a bad KFS paths list, due to
how we don't process the .config right away.
Makefile