关于makefile的两点疑问，请教各位。

ttjswdy

第一，makefile 里的命令用的是什么语法？是外壳编程吗？比如说bash编程？
第二，在linux-2.4.26内核源码的根目录下的Makefile里有这么一句话
      
CONFIG_SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
          else if [ -x /bin/bash ]; then echo /bin/bash; \
          else echo sh; fi ; fi)
在$里写的shell是什么意思，环境变量里描述外壳解释程序的不是“SHELL”吗？怎么变成小写了？还有，在外壳编程里介绍的if语句没有用“;”做分隔符呀？为什么跟在shell后的if语句用了好多分号？迷惑不解呀，哪位老大指点指点小弟！谢谢了。