From 0e5798e0f0bb8827387aefa40d7b65db6a424f7f Mon Sep 17 00:00:00 2001
From: Chris Cromer <chris@cromer.cl>
Date: Sun, 31 May 2020 17:20:20 -0400
Subject: [PATCH] fix make file extension

---
 tools.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools.sh b/tools.sh
index bc7fec4..0e23168 100755
--- a/tools.sh
+++ b/tools.sh
@@ -865,7 +865,7 @@ function Gzip {
 }
 function Make {
 	#	Make-4.3
-	local pkg=make-4.3.tar.bz2
+	local pkg=make-4.3.tar.gz
 	local pkg_dir=${pkg%%.tar*}
 	local logfile="${TOPDIR}/LOGS/tools-${FUNCNAME}.log"
 	[ -e ${logfile}.complete ] && { msg "Skipping: ${FUNCNAME}";return 0; } || msg "Building: ${FUNCNAME}"