ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Force shell use when in bash/sh mode

pull/2106/head
Jimmy Brisson 2016-07-06 12:49:38 -05:00
parent c2d66865be
commit fbccf8dfc9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/export/gcc_arm_common.tmpl
View File

@ -4,10 +4,10 @@
# cross-platform directory manipulation # cross-platform directory manipulation
ifeq ($(shell echo $$OS),$$OS) ifeq ($(shell echo $$OS),$$OS)
MAKEDIR = if not exist "$(1)" mkdir "$(1)" MAKEDIR = if not exist "$(1)" mkdir "$(1)"
RM = rmdir /S /Q RM = rmdir /S /Q "$(1)"
else else
MAKEDIR = mkdir -p $(1) MAKEDIR = $(SHELL) -c "mkdir -p $(1)"
RM = rm -rf RM = $(SHELL) -c "rm -rf $(1)"
endif endif
ifeq (,$(filter .build,$(notdir $(CURDIR)))) ifeq (,$(filter .build,$(notdir $(CURDIR))))
@ -24,7 +24,7 @@ $(OBJDIR): all
Makefile : ; Makefile : ;
% :: $(OBJDIR) ; : % :: $(OBJDIR) ; :
clean : clean :
$(RM) $(OBJDIR) $(call RM,$(OBJDIR))
{% block target_clean -%} {% block target_clean -%}
{% endblock %} {% endblock %}
else else