diff options
| author | Ha Thach <[email protected]> | 2021-01-14 11:37:34 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-14 11:37:34 +0700 |
| commit | 7aaccd94d2e11ee2329353b4119526c75279b3ba (patch) | |
| tree | 32b428648fcbdaadb1ade3269f6a2b5c76e8dee7 /examples/make.mk | |
| parent | 05728e2b189b228a7b51f359dc207f54b85811ef (diff) | |
| parent | d7cfd8b91db127459d61aa8b8d091cb08e732208 (diff) | |
Merge pull request #590 from kkitayam/support_for_cmd
Add support for Windows10 Command Prompt as a shell on GNU make.
Diffstat (limited to 'examples/make.mk')
| -rw-r--r-- | examples/make.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/make.mk b/examples/make.mk index 6743044fd..992a4e60e 100644 --- a/examples/make.mk +++ b/examples/make.mk @@ -34,9 +34,14 @@ CXX = $(CROSS_COMPILE)g++ OBJCOPY = $(CROSS_COMPILE)objcopy SIZE = $(CROSS_COMPILE)size MKDIR = mkdir +ifeq ($(CMDEXE),1) +CP = copy +RM = del +else SED = sed CP = cp RM = rm +endif #-------------- Source files and compiler flags -------------- |