From 11012a6c3e49ee4bf0e2b2dba5ce99c750569427 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 2 Aug 2016 08:38:20 -0600
Subject: [PATCH] Add DIRLINK and DIRUNLOBK tool definitions to Make.defs

---
 Make.defs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Make.defs b/Make.defs
index 52436ce9a..ac135b3f7 100644
--- a/Make.defs
+++ b/Make.defs
@@ -60,8 +60,12 @@ endif
 
 ifeq ($(CONFIG_WINDOWS_NATIVE),y)
   MKKCONFIG = $(APPDIR)\tools\mkkconfig.bat
+  DIRLINK   = $(TOPDIR)\tools\link.bat
+  DIRUNLINK = $(TOPDIR)\tools\unlink.bat
 else
   MKKCONFIG = $(APPDIR)/tools/mkkconfig.sh
+  DIRLINK   = $(TOPDIR)/tools/link.sh
+  DIRUNLINK = $(TOPDIR)/tools/unlink.sh
 endif
 
 ifeq ($(WINTOOL),y)