Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
shabble
on April 10, 2015
|
parent
|
context
|
favorite
| on:
“The GNU Make Book”: probably more than you ever w...
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...
untothebreach
on April 10, 2015
|
next
[–]
yea, at least with GNU Make it is probably best to use $(shell cat tmp.ci.pid)
harry8
on April 10, 2015
|
prev
[–]
yes, absolutely $$() works in a makefile. Backticks just need to die.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
$$() might work, but untested.
[1] https://www.gnu.org/software/make/manual/html_node/Reference...