首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >$${HOME}还是Makefile中的${HOME}?

$${HOME}还是Makefile中的${HOME}?
EN

Stack Overflow用户
提问于 2018-06-08 06:43:44
回答 1查看 7.1K关注 0票数 14
代码语言:javascript
运行
复制
$ cat Makefile 
all:
    echo VAR is ${HOME}
    echo VAR is $${HOME}

给出

代码语言:javascript
运行
复制
$ make
echo VAR is /home/abc
VAR is /home/abc
echo VAR is ${HOME}
VAR is /home/abc

为什么echo VAR is ${HOME}语法可以在Makefile中工作?我想,要使用外壳变量,就必须使用$${HOME}}

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2018-06-08 07:01:27

是也不是。最好是显式地使用$$。但是,there is a special rule for environment variables

make中的

变量可以来自运行make的环境。make在启动时看到的每个环境变量都被转换为具有相同名称和值的make变量。但是,makefile中的显式赋值或带有命令参数的显式赋值将覆盖环境。(如果指定了‘-e’标志,则来自环境的值将覆盖makefile中的赋值。请参阅选项摘要一节。但这不是推荐的做法。)

票数 14
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/50751114

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档