1# SHELL is the full path of sh.exe, unless 2# 1) it is found in the current directory 3# 2) it is not found at all 4# 3) it is overridden on the command line with an existing file 5# ... otherwise it is always sh.exe. Specifically, SHELL from the 6# environment has no effect. 7# 8# This check will fail if SHELL is explicitly set to a not 9# sh-compatible shell. This is not a problem, because configure.bat 10# will not do that. 11ifeq ($(SHELL), sh.exe) 12 ifeq ($(wildcard ./sh.exe), ) 13 SH = 0 14 else 15 SH = 1 16 endif 17else 18 SH = 1 19endif 20 21ifeq ($(SH), 1) 22 RM_F = rm -f 23 RM_RF = rm -rf 24else 25 RM_F = del /f 26 RM_RF = rmdir /s /q 27endif 28