"master/device.c" did not exist on "7115fb5c394c1ac1e3b84654ed2b8a8ed54c73b8"
This follows the same pattern as the .d files generated during compilation; the .d files are generated as a side effect of generating the output file, and we then include them all at build-time to register the correct dependencies. See line 634 of driver.makefile.