Closed apsun closed 2 years ago
Currently, modifying a header in userspace/ doesn't rebuild programs that depend on it. In kernel/ we have Makefile.dep, but the mechanism used to generate it assumes a flat directory tree which is not the case in userspace/.
Fixed in 4f18f564fa972d303d4bcedec2d13a95dddce595
Currently, modifying a header in userspace/ doesn't rebuild programs that depend on it. In kernel/ we have Makefile.dep, but the mechanism used to generate it assumes a flat directory tree which is not the case in userspace/.