Daily bump.

[pf3gnuchains/gcc-fork.git] / gcc / genchecksum.c

diff --git a/gcc/genchecksum.c b/gcc/genchecksum.c
index 465a4f6..235d4fe 100644 (file)
--- a/gcc/genchecksum.c
+++ b/gcc/genchecksum.c
@@ -1,12 +1,12 @@
 /* Generate checksums of executables for PCH validation
-   Copyright (C) 2005
+   Copyright (C) 2005, 2007, 2009
    Free Software Foundation, Inc.
 
 This file is part of GCC.
 
 GCC is free software; you can redistribute it and/or modify it under
 the terms of the GNU General Public License as published by the Free
-Software Foundation; either version 2, or (at your option) any later
+Software Foundation; either version 3, or (at your option) any later
 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
@@ -15,9 +15,8 @@ FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.
 
 You should have received a copy of the GNU General Public License
-along with GCC; see the file COPYING.  If not, write to the Free
-Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA.  */
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
 
 #include "bconfig.h"
 #include "system.h"
@@ -35,21 +34,21 @@ dosum (const char *file)
   FILE *f;
   unsigned char result[16];
   int i;
-  
+
   f = fopen (file, "rb");
   if (!f)
     {
       fprintf (stderr, "opening %s: %s\n", file, xstrerror (errno));
       exit (1);
     }
-  
+
   /* Some executable formats have timestamps in the first 16 bytes, yuck.  */
   if (fseek (f, 16, SEEK_SET) != 0)
      {
       fprintf (stderr, "seeking in %s: %s\n", file, xstrerror (errno));
       exit (1);
     }
-  
+
   if (md5_stream (f, result) != 0
       || fclose (f) != 0)
      {
@@ -57,9 +56,11 @@ dosum (const char *file)
       exit (1);
     }
 
-  fputs ("const unsigned char executable_checksum[16] = { ", stdout);
+  puts ("#include \"config.h\"");
+  puts ("#include \"system.h\"");
+  fputs ("EXPORTED_CONST unsigned char executable_checksum[16] = { ", stdout);
   for (i = 0; i < 16; i++)
-    printf ("%#02x%s", result[i], i == 15 ? " };\n" : ", ");
+    printf ("0x%02x%s", result[i], i == 15 ? " };\n" : ", ");
 }
 
 int