diff --git a/platform/Makefile b/platform/Makefile index 02b055b50..196dfd52d 100644 --- a/platform/Makefile +++ b/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 # # 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