From 15ba3aae14dec386b8bc81b5116f0d4ec6e00874 Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Fri, 19 Mar 2021 10:45:38 +0100
Subject: [PATCH] make: Fix source URL

For some reason, version 4.2 is only available as a gz archive on the
gnu server, so adapt the URL.
---
 make.be0 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make.be0 b/make.be0
index b8ee59a42..c98eeafce 100755
--- a/make.be0
+++ b/make.be0
@@ -9,7 +9,7 @@
 ## The source URL(s) define the location of the sources that will be
 ## downloaded. Version variables may be used to simplify reuse of this bee-file.
 
-SRCURL[0]="https://ftp.gnu.org/gnu/make/make-${PKGVERSION}.tar.bz2"
+SRCURL[0]="https://ftp.gnu.org/gnu/make/make-${PKGVERSION}.tar.gz"
 
 ###############################################################################
 ## Add URLs/pathes to patch files to the PATCHURL array.