I don't see it adds much, you have to absolutely know that the newly generated 
file is a different length.  And generating files and touching their mod time 
is going to break much more than just Geany's detection.

What could be sensible though is to check mtime as not equals rather than less 
than, the file is different if its moved back in time as well as forward in 
time.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1175#issuecomment-239303256

Reply via email to