Makefile.*: Create a Make.defs file if one does not exist

This commit is contained in:
Gregory Nutt 2017-05-31 15:39:18 -06:00
parent bb02c0c92d
commit f5e6afe9cd
2 changed files with 4 additions and 0 deletions

View File

@ -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

View File

@ -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