Enabling hi-res timestamps on Windows
Eldred HABERT <[email protected]>
| Newsgroups | gmane.comp.gnu.make.bugs |
|---|---|
| Message-ID | <[email protected]> |
Hello! I am having an issue that some versions of Make never stop on a Make file I made, but only on Windows. https://github.com/ISSOtm/gb-starter-kit/issues/1#issuecomment-1793775226 I have traced the issue to hi-res timestamps being disabled for some builds of Make; apparently, those that use `config.h.W32`, which explicitly disables hi-res timestamps. The MSYS2 port was reported to work reliably. Thus: I'd like to request that hi-res timestamps be enabled in that config file. Additionally, I wondered if ties should be treated as the target not needing to be remade, but that feels incorrect, as it could cause Make to randomly decide that some stale data is actually okay. On the other hand, it also feels like the user can always `touch` files, or pass `-B`? Thank you! ~ Eldred