SWI doesn't reload modified files correctly.

[krfkeith]

trafficstars

Currently using v. 7.6.4 on Windows 10/x64.

For some reason, SWI will ocassionally stop reloading modified files correctly with make/0. The only way to get it to work is to close the program, restart and then consult. This is obviously a huge pain. I'm not sure why this happens, it's very sporadic, but it's very frustrating. I've tried reinstalled SWI repeatedly to no avail.

[JanWielemaker]

If that happens you may try to trace through modified_file/1 in make.pl and/or run some of the predicates this uses to figure out what happened.

It may be related to a change to sub-second file timing at some point. The modified_file/1 in the development series adds some timing tolerance with a remark that this was needed on some OSes. I.e., on some OSes (I think mostly Windows) if you ask for the modification time of a file you do not get exactly the same answer. You could copy make.pl from the development version (or switch altogether).