From b68edcac72dc490bfba50bc144c0c6cce8c17b25 Mon Sep 17 00:00:00 2001 From: "H. Peter Anvin" Date: Tue, 18 Apr 2017 10:52:05 -0700 Subject: [PATCH] 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 --- tools/release | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/tools/release b/tools/release index f2f2ac0a..dd68ec7c 100755 --- a/tools/release +++ b/tools/release @@ -38,16 +38,16 @@ unset GIT_DIR git clone -s -l "$HERE" nasm rm -rf nasm/.git nasm/.gitignore -# How to invoke make if MAKE is not set -MAKE="${MAKE:-make}" +# How to invoke make if makej is not set +makej="${makej:-make}" # Create files which are in the release but automatically generated cd nasm ./autogen.sh ./configure --prefix=/usr/local -$MAKE perlreq spec manpages -$MAKE alldeps -$MAKE distclean +$makej perlreq spec manpages +$makej alldeps +$makej distclean cd .. # Clean up any previous attempt @@ -78,9 +78,9 @@ find nasm-"$version" -not -type d -print > main # Create documentation cd nasm-"$version" ./configure --prefix=/usr/local -$MAKE doc +$makej doc # Remove intermediate files. -$MAKE cleaner +$makej cleaner cd .. # Remove non-documentation