tools/release: make doesn't like MAKE in the environment, so call it makej

make really doesn't like something called MAKE in the environment, so
call it makej like buildall.sh on the server.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
This commit is contained in:
H. Peter Anvin 2017-04-18 10:52:05 -07:00
parent 5f46eea191
commit b68edcac72

View file

@ -38,16 +38,16 @@ unset GIT_DIR
git clone -s -l "$HERE" nasm git clone -s -l "$HERE" nasm
rm -rf nasm/.git nasm/.gitignore rm -rf nasm/.git nasm/.gitignore
# How to invoke make if MAKE is not set # How to invoke make if makej is not set
MAKE="${MAKE:-make}" makej="${makej:-make}"
# Create files which are in the release but automatically generated # Create files which are in the release but automatically generated
cd nasm cd nasm
./autogen.sh ./autogen.sh
./configure --prefix=/usr/local ./configure --prefix=/usr/local
$MAKE perlreq spec manpages $makej perlreq spec manpages
$MAKE alldeps $makej alldeps
$MAKE distclean $makej distclean
cd .. cd ..
# Clean up any previous attempt # Clean up any previous attempt
@ -78,9 +78,9 @@ find nasm-"$version" -not -type d -print > main
# Create documentation # Create documentation
cd nasm-"$version" cd nasm-"$version"
./configure --prefix=/usr/local ./configure --prefix=/usr/local
$MAKE doc $makej doc
# Remove intermediate files. # Remove intermediate files.
$MAKE cleaner $makej cleaner
cd .. cd ..
# Remove non-documentation # Remove non-documentation