Hi Chris, On Fri, Apr 26, 2019 at 2:48 PM <[email protected]> wrote: > > I dont know if this is the right place to ask: How exactly does make > decide if a binary is 'up to date'?
This is a mailing list for users of the software development site, Savannah. We don't generally know much about individual software projects. The GNU Make project has 3 mailing lists, with help-make being the one most likely able to answer your questions: https://savannah.gnu.org/mail/?group=make I believe GNU Make uses file timestamps to determine if a binary is up to date, but the users on that mailing list are likely to know for sure. Cheers, Jan
