From b752d22a77b49d4ab8e7b78fa1b671b68176768b Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 30 Oct 2019 12:43:56 +0100
Subject: [PATCH] libports: checkout ARMv8 version of gcov

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

diff --git a/repos/libports/ports/gcov.hash b/repos/libports/ports/gcov.hash
index d79377f72..84a357a5b 100644
--- a/repos/libports/ports/gcov.hash
+++ b/repos/libports/ports/gcov.hash
@@ -1 +1 @@
-67d83ba99db93c0e67eda26b33e167aecf48d60d
+dd02ab66f99692f5afa10ce8fd47d4704399375d
diff --git a/repos/libports/ports/gcov.port b/repos/libports/ports/gcov.port
index 37dc11cf0..0f6e24a64 100644
--- a/repos/libports/ports/gcov.port
+++ b/repos/libports/ports/gcov.port
@@ -9,7 +9,7 @@ SIG(gcov) := ${URL(gcov)}
 KEY(gcov) := GNU
 
 URL(generated) := https://github.com/cproc/genode-generated.git
-REV(generated) := 21d621a326ac3f074647c0555144d1638ee495a8
+REV(generated) := a3ebda9003c34ed94a11bcd70e8be29c52e00d89
 DIR(generated) := include
 
 TAR_OPT(gcov) := gcc-$(VERSION)/gcc/color-macros.h \