4 ms·
whilst this is good advice for shell scripting, are you sure it applies as worded to the snippet you're replying to, given how Make uses $() itself for variable
by shabble 12y ago
whilst this is good advice for shell scripting, are you sure it applies as worded to the snippet you're replying to, given how Make uses $() itself for variable referencing?[1]
$$() might work, but untested.
[1] https://www.gnu.org/software/make/manual/html_node/Reference.html#Reference https://www.gnu.org/software/make/manual/html_node/Reference...
- harry8 12y agoyes, absolutely $$() works in a makefile. Backticks just need to die.
- untothebreach 12y agoyea, at least with GNU Make it is probably best to use $(shell cat tmp.ci.pid)