4 ms·yea, at least with GNU Make it is probably best to use $(shell cat tmp.ci.pid)by untothebreach 12y agoyea, at least with GNU Make it is probably best to use $(shell cat tmp.ci.pid)