# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1524173044 14400
# Node ID a1173629572183df09ba834f02d91303c236df63
# Parent  c338241afed15f3c5fe60c8ad05da0ffcf5740ae
tools/build-make.sh: update to make version 4.1

diff -r c338241afed1 -r a11736295721 tools/build-make.sh
--- a/tools/build-make.sh	Thu Apr 19 17:21:35 2018 -0400
+++ b/tools/build-make.sh	Thu Apr 19 17:24:04 2018 -0400
@@ -6,7 +6,7 @@
 
 top_dir=`pwd`
 
-make_ver="3.82"
+make_ver="4.1"
 make_dir="make-$make_ver"
 make_pkg="$make_dir.tar.gz"