1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/gcov-dump.c b/gcc/gcov-dump.c
index 86834e25b7b..67a34dcfff7 100644
--- a/gcc/gcov-dump.c
+++ b/gcc/gcov-dump.c
@@ -184,6 +184,13 @@ dump_file (const char *filename)
       printf ("%s:warning:current version is `%.4s'\n", filename, e);
   }
 
+  /* stamp */
+  {
+    unsigned stamp = gcov_read_unsigned ();
+
+    printf ("%s:stamp %lu\n", filename, (unsigned long)stamp);
+  }
+  
   while (1)
     {
       gcov_position_t base, position = gcov_position ();