sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Makefiles: change ${shell pwd} to $(CURDIR) since pwd doesn't exist on Windows

Browse Source
This commit is contained in:
Xiang Xiao 2019-10-02 07:09:28 -06:00 committed by Gregory Nutt
parent 797b699c5e
commit 61ec1d7a1d
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/Makefile.host
View File

@ -34,7 +34,7 @@
#
############################################################################
TOPDIR ?= ${shell pwd}/..
TOPDIR ?= $(CURDIR)/..
-include $(TOPDIR)/Make.defs
include ${TOPDIR}/tools/Config.mk

2
tools/Makefile.unix
View File

@ -34,7 +34,7 @@
#
############################################################################
TOPDIR := ${shell pwd | sed -e 's/ /\\ /g'}
TOPDIR := ${shell echo $(CURDIR) | sed -e 's/ /\\ /g'}
-include $(TOPDIR)/.config
-include $(TOPDIR)/.version
include $(TOPDIR)/tools/Config.mk

6
tools/README.txt
View File

@ -732,9 +732,9 @@ indent.sh
(see below and the comments at the top of the indent.sh file).
USAGE:
./indent.sh [-d] -o <out-file> <in-file>
./indent.sh [-d] <in-file-list>
./indent.sh [-d] -h
tools/indent.sh [-d] -o <out-file> <in-file>
tools/indent.sh [-d] <in-file-list>
tools/indent.sh [-d] -h
Where:
-<in-file>