From f5e6afe9cdab2feba74036be4896857e8f09239e Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 31 May 2017 15:39:18 -0600
Subject: [PATCH] Makefile.*: Create a Make.defs file if one does not exist

---
 Makefile.unix | 2 ++
 Makefile.win  | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/Makefile.unix b/Makefile.unix
index 806b9af1fb8..811b0551e36 100644
--- a/Makefile.unix
+++ b/Makefile.unix
@@ -282,6 +282,8 @@ tools/cnvwindeps$(HOSTEXEEXT):
 # configured directories.
 
 Make.defs:
+	echo "include $(TOPDIR)$(DELIM).config" > Make.defs
+	echo "include $(TOPDIR)$(DELIM)tools$(DELIM)Config.mk" >> Make.defs
 
 # Link the arch/<arch-name>/include directory to include/arch
 
diff --git a/Makefile.win b/Makefile.win
index 9829c913417..32d42772c62 100644
--- a/Makefile.win
+++ b/Makefile.win
@@ -277,6 +277,8 @@ tools\mkdeps$(HOSTEXEEXT):
 # configured directories.
 
 Make.defs:
+	echo "include $(TOPDIR)$(DELIM).config" > Make.defs
+	echo "include $(TOPDIR)$(DELIM)tools$(DELIM)Config.mk" >> Make.defs
 
 # Link the arch\<arch-name>\include directory to include\arch