openmp: Do not emit date and time into generate files

kraj · kraj · commit aafe21a92711 · 2025-06-12T06:38:19.000-07:00
This improves reproducibility where the generated files do not
contain time stamps e.g.

//·The·file·was·generated·from·en_US.txt·by·message-converter.py·on·Wed·Apr·23·16:00:53·2025.·//
./usr/src/debug/openmp/20.1.2/runtime/src/kmp_i18n_id.inc

Upstream-Status: Pending
Signed-off-by: Khem Raj &lt;raj.khem@gmail.com&gt;
diff --git a/openmp/runtime/tools/message-converter.py b/openmp/runtime/tools/message-converter.py
@@ -188,11 +188,10 @@ def insert_header(f, data, commentChar="//"):
     f.write(
         "{0} Do not edit this file! {0}\n"
         "{0} The file was generated from"
-        " {1} by {2} on {3}. {0}\n\n".format(
+        " {1} by {2} {0}\n\n".format(
             commentChar,
             os.path.basename(data.filename),
             os.path.basename(__file__),
-            datetime.datetime.now().ctime(),
         )
     )
 

Original file line number	Diff line number	Diff line change
`@@ -188,11 +188,10 @@ def insert_header(f, data, commentChar="//"):`
`188`	`188`	`f.write(`
`189`	`189`	`"{0} Do not edit this file! {0}\n"`
`190`	`190`	`"{0} The file was generated from"`
`191`		`- " {1} by {2} on {3}. {0}\n\n".format(`
	`191`	`+ " {1} by {2} {0}\n\n".format(`
`192`	`192`	`commentChar,`
`193`	`193`	`os.path.basename(data.filename),`
`194`	`194`	`os.path.basename(__file__),`
`195`		`- datetime.datetime.now().ctime(),`
`196`	`195`	`)`
`197`	`196`	`)`
`198`	`197`