From 30247206564cd754c874e8f9efbda214d9856cba Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Fri, 25 Oct 2019 11:29:39 +0200
Subject: [PATCH] ports: update make to version 4.2.1

Required for ARMv8 support

issue #3537
---
 repos/ports/ports/make.hash | 2 +-
 repos/ports/ports/make.port | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/ports/ports/make.hash b/repos/ports/ports/make.hash
index bb6fef395..aa2c4c279 100644
--- a/repos/ports/ports/make.hash
+++ b/repos/ports/ports/make.hash
@@ -1 +1 @@
-5e280e994155d92e18fbc7d7ad0e66ecf3bc174a
+c8beffda9c98bfb34b038a55aadd83af8824bc8d
diff --git a/repos/ports/ports/make.port b/repos/ports/ports/make.port
index 7607d4084..dd6e76794 100644
--- a/repos/ports/ports/make.port
+++ b/repos/ports/ports/make.port
@@ -1,9 +1,9 @@
 LICENSE   := GPLv3
-VERSION   := 3.82
+VERSION   := 4.2.1
 DOWNLOADS := make.archive
 
 URL(make) := http://ftp.gnu.org/pub/gnu/make/make-$(VERSION).tar.gz
-SHA(make) := 3d991b33e604187c5881a0abc2e102d5b9776da5569640e73778f85d617242e7
+SHA(make) := e40b8f018c1da64edd1cc9a6fce5fa63b2e707e404e20cad91fbae337c98a5b7
 SIG(make) := ${URL(make)}.sig
 KEY(make) := GNU
 DIR(make) := src/noux-pkg/make