2016-11-18 15:27:15 +00:00
|
|
|
# SHELL is the full path of sh.exe, unless
|
|
|
|
|
# 1) it is found in the current directory
|
|
|
|
|
# 2) it is not found at all
|
|
|
|
|
# 3) it is overridden on the command line with an existing file
|
|
|
|
|
# ... otherwise it is always sh.exe. Specifically, SHELL from the
|
|
|
|
|
# environment has no effect.
|
|
|
|
|
#
|
|
|
|
|
# This check will fail if SHELL is explicitly set to a not
|
|
|
|
|
# sh-compatible shell. This is not a problem, because configure.bat
|
|
|
|
|
# will not do that.
|
|
|
|
|
ifeq ($(SHELL), sh.exe)
|
2017-12-12 19:48:17 +00:00
|
|
|
ifeq ($(wildcard ./sh.exe), )
|
2016-11-18 15:27:15 +00:00
|
|
|
SH = 0
|
|
|
|
|
else
|
|
|
|
|
SH = 1
|
|
|
|
|
endif
|
|
|
|
|
else
|
|
|
|
|
SH = 1
|
|
|
|
|
endif
|
|
|
|
|
|
|
|
|
|
ifeq ($(SH), 1)
|
|
|
|
|
RM_F = rm -f
|
|
|
|
|
RM_RF = rm -rf
|
|
|
|
|
else
|
|
|
|
|
RM_F = del /f
|
|
|
|
|
RM_RF = rmdir /s /q
|
|
|
|
|
endif
|
