spec: add date in rendered config

2024-06-18 09:53:13 +08:00
parent 9ba01d318f
commit af12c5b91b
1 changed files with 1 additions and 1 deletions
--- a/spec.ts
+++ b/spec.ts
@@ -412,7 +412,7 @@ interface ConfigOptions {
 }

 export function renderConfig(options: ConfigOptions) {
-    return `# Rendered from TypeScript, do not edit!\n\n\n` + specTemplate
+    return `# Rendered from TypeScript ${new Date().toLocaleString()}, do not edit!\n\n\n` + specTemplate
        .replace("@@GCCDIR@@", options.gccdir)
        .replace("@@OPTIMIZE@@", options.optimize);
 }