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 \