diff --git a/repos/libports/ports/gcov.hash b/repos/libports/ports/gcov.hash
index 84a357a5b..8175b94c7 100644
--- a/repos/libports/ports/gcov.hash
+++ b/repos/libports/ports/gcov.hash
@@ -1 +1 @@
-dd02ab66f99692f5afa10ce8fd47d4704399375d
+a6f8522b8cd63162a9aeef8b5509138c3724af6e
diff --git a/repos/libports/ports/gcov.port b/repos/libports/ports/gcov.port
index 0f6e24a64..975f83ed5 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) := a3ebda9003c34ed94a11bcd70e8be29c52e00d89
+REV(generated) := 745e78b2ea6abd4a9c601de2cc40702bcb6c636a
 DIR(generated) := include
 
 TAR_OPT(gcov) := gcc-$(VERSION)/gcc/color-macros.h \