mirror of https://github.com/ARMmbed/mbed-os.git
Quote the shell call in mkdir and rmdir
Allows the use of bash in windowspull/3227/head
parent
07cb26874c
commit
9ef6986ebe
|
@ -9,8 +9,8 @@ ifeq ($(shell echo $$OS),$$OS)
|
||||||
MAKEDIR = if not exist "$(1)" mkdir "$(1)"
|
MAKEDIR = if not exist "$(1)" mkdir "$(1)"
|
||||||
RM = rmdir /S /Q "$(1)"
|
RM = rmdir /S /Q "$(1)"
|
||||||
else
|
else
|
||||||
MAKEDIR = $(SHELL) -c "mkdir -p \"$(1)\""
|
MAKEDIR = '$(SHELL)' -c "mkdir -p \"$(1)\""
|
||||||
RM = $(SHELL) -c "rm -rf \"$(1)\""
|
RM = '$(SHELL)' -c "rm -rf \"$(1)\""
|
||||||
endif
|
endif
|
||||||
|
|
||||||
# Move to the build directory
|
# Move to the build directory
|
||||||
|
|
Loading…
Reference in New Issue