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

tools/export.sh: If MAKE not defined use 'which make'. Update README from last change.

Browse Source
This commit is contained in:
Gregory Nutt 2016-05-06 04:49:25 -06:00
parent 443bf7fc93
commit 78b10bdf0e
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/README.txt
View File

@ -135,6 +135,12 @@ mkexport.sh and Makefile.export
Makefile.export is used only by the mkexport.sh script to parse out Makefile.export is used only by the mkexport.sh script to parse out
options from the top-level Make.defs file. options from the top-level Make.defs file.
USAGE: tools/mkexport.sh [-d] [-z] [-u] [-w|wy|wn] -t <top-dir> [-x <lib-ext>] -l "lib1 [lib2 [lib3 ...]]"
Thais script also depends on the environment variable MAKE which is set
in the top-level Makefile before starting mkexport.sh. If MAKE is not
defined, the script will set it to `which make`.
mkfsdata.pl mkfsdata.pl
----------- -----------

8
tools/mkexport.sh
View File

@ -1,7 +1,7 @@
#!/bin/bash #!/bin/bash
# tools/mkexport.sh # tools/mkexport.sh
# #
# Copyright (C) 2011-2012, 2014 Gregory Nutt. All rights reserved. # Copyright (C) 2011-2012, 2014, 2016 Gregory Nutt. All rights reserved.
# Author: Gregory Nutt <gnutt@nuttx.org> # Author: Gregory Nutt <gnutt@nuttx.org>
# #
# Redistribution and use in source and binary forms, with or without # Redistribution and use in source and binary forms, with or without
@ -115,6 +115,12 @@ if [ ! -f "${TOPDIR}/.version" ]; then
exit 1 exit 1
fi fi
# Check if the make environment variable has been defined
if [ -z "${MAKE}" ]; then
MAKE=`which make`
fi
# Get the version string # Get the version string
source "${TOPDIR}/.version" source "${TOPDIR}/.version"