On 24/07/2023 22:19, Denis Bitouzé wrote:
[Y]ou are shooting yourself in your foot because you use make. make is utterly ineffective in CI pipelines because at the beginning of each pipeline the repo is cloned afresh, meaning the file modification dates of the source files are usually newer than the cached output files even if nothing did change.
How does it clone the repo? If you can clone using "cp -a", that MIGHT work, as it's supposed to copy everything.
The other approach to try is "cp -lR", because it copies the directory structure, but links to and does not change any files. That also might work, and actually will be a lot faster than cp -a.
That's assuming you can control how the repo is copied, of course. I suspect they often do a "git clone" which will lose all the target files on the spot ...
Cheers, Wol -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to sphinx-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/6cbc8ff0-0350-54f0-2051-c39da58ff568%40youngman.org.uk.
