| # 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) |
| ifeq ($(wildcard ./sh.exe), ) |
| 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 |
