change beam's modification time to source's -1 second

sebastiw / edts

Erlang Development Tool Suite

GNU Lesser General Public License v3.0

355 stars 82 forks source link

change beam's modification time to source's -1 second #211

Open andreineculau opened 8 years ago

andreineculau commented 8 years ago

fixes #202

This allows the project's main build system to rebuild the BEAM per the project's settings. Otherwise, since the BEAM's modification time is newer than the source's, the main build system will think it has already built it and will skip, possibly hiding warnings.

This change is

tjarvstrand commented 8 years ago

I don't really have a good solution for this problem except to say that you should always clean and make before committing. I'm not a fan of this solution since it creates a view of the state that is not actually true.

andreineculau commented 8 years ago

Clearly that (clean, make, git commit) can easily become a huge waste of time. Maybe you fancy a flag?