* device/lib/pic16/Makefile.common.in: added MODELFLAGS again, it was erroneously...

[fw/sdcc] / src / SDCCglue.c

diff --git a/src/SDCCglue.c b/src/SDCCglue.c
index 3e2fb4b61f04432b67575209a4a0628341bff286..c4acdfe5e96c3322465e7c106d989cc653095cbc 100644 (file)
--- a/src/SDCCglue.c
+++ b/src/SDCCglue.c
@@ -1426,7 +1426,7 @@ initialComments (FILE * afile)
   time_t t;
   time (&t);
   fprintf (afile, "%s", iComments1);
-  fprintf (afile, "; Version " SDCC_VERSION_STR " (%s)\n", __DATE__);
+  fprintf (afile, "; Version " SDCC_VERSION_STR " #%s (%s)\n", getBuildNumber(), __DATE__);
   fprintf (afile, "; This file generated %s", asctime (localtime (&t)));
   fprintf (afile, "%s", iComments2);
 }