Makefile_vivi--$$BASH，if -x filename

specify shell:

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

1、$$BASH 表示BASH完整路径。环境变量指定。

2、if [ -x "$$BASH" ]  then.. else.. fi

shell与if相关参数 [ -aFILE ] 如果 FILE 存在则为真。 [ -bFILE ] 如果 FILE 存在且是一个块特殊文件则为真。 [ -cFILE ] 如果 FILE 存在且是一个字特殊文件则为真。 [ -dFILE ] 如果 FILE 存在且是一个目录则为真。 [ -eFILE ]