shell中$$BASH有什么特别含义吗

bespecial

我在看u-boot-2012.04.01的Makefile，其中有这样一段：

SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
        else if [ -x /bin/bash ]; then echo /bin/bash; \
        else echo sh; fi; fi)

其是确定，你所使用的shell。但其第一个判断 "$$BASH"  是否存在，我有点不明白。

根据shell manual， $$代表expands to the process ID of the shell.
我在shell中，echo $$BASH 显示13125BASH，那么在此处使用$$BASH的含义是什么？有什么特殊的用途吗？

还是我的理解有问题，望赐教

blackold

回复 1# bespecial


    这是make的要求。

bespecial

回复 2# blackold
谢谢。

有印象了，我回头看看Makefile的细节。




   

bespecial

回复 3# bespecial


    大牛，在问您一个。
在一个shell脚本中出现如下：

[ "${MAKEFLAGS+set}${MAKELEVEL+set}" = "setset" ]

双引号中的应该是属于：shell parameter expansion 。

'+'不是用于arithmetic expression时，其表示'合并'？

这个怎么理解。

blackold

回复 4# bespecial


    我是大傻。

   这些都是 parameters expansion(参数展开).
   + 不是算术运算符，是参数展开的一种。详细请参考相关文档。

bespecial

回复 5# blackold
多谢。

我仔细看了一下，最开始只找到了这个形式 ${parameter:+word}.对不上号。

又仔细看了一下描述
if the colon is included, the operator tests for both parameter's existence and that its value is not null;
if the colon is omitted, the operator tests only for existence.

原来colon是可以省略的。

太感谢了。