On 4/25/20 5:30 AM, John Colvin wrote: > how does this differ from just using make?
make is great and I love it (really) but it works at a coarser level. There is no way for it to know that a particular command will produce the same output.
As I understand it, dmdcache is supposed to be similar to ccache, which we already use with make to speed up our C++ compilations:
https://ccache.dev/ Ali
