diff options
Diffstat (limited to 'apps/platform')
-rw-r--r-- | apps/platform/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/apps/platform/Makefile b/apps/platform/Makefile index 02b055b50..196dfd52d 100644 --- a/apps/platform/Makefile +++ b/apps/platform/Makefile @@ -1,7 +1,7 @@ ############################################################################ # apps/platform/Makefile # -# Copyright (C) 2013 Gregory Nutt. All rights reserved. +# Copyright (C) 2013-2014 Gregory Nutt. All rights reserved. # Author: Gregory Nutt <gnutt@nuttx.org> # # Redistribution and use in source and binary forms, with or without @@ -41,9 +41,14 @@ include $(APPDIR)$(DELIM)Make.defs # Tool stuff ifeq ($(DIRLINK),) +ifeq ($(CONFIG_WINDOWS_NATIVE),y) +DIRLINK = $(TOPDIR)/tools/link.bat +DIRUNLINK = $(TOPDIR)/tools/unlink.bat +else DIRLINK = $(TOPDIR)/tools/link.sh DIRUNLINK = $(TOPDIR)/tools/unlink.sh endif +endif ifeq ($(WINTOOL),y) INCDIROPT = -w |