--- mawk-1.3.4-20200120.orig/makescan.c	2016-10-01 01:58:49.000000000 +0200
+++ mawk-1.3.4-20200120/makescan.c	2021-09-23 17:14:01.205982671 +0200
@@ -77,13 +77,12 @@ scan_init(void)
 static void
 scan_print(void)
 {
-    time_t now = time((time_t *) 0);
     register char *p = scan_code;
     register int c;		/* column */
     register int r;		/* row */
 
-    printf("/*\n * %cMawkId%c\n * generated by makescan.c\n * date: %s */\n",
-	   '$', '$', ctime(&now));
+    printf("/*\n * %cMawkId%c\n * generated by makescan.c\n * date: %s %s */\n",
+           '$', '$', __DATE__, __TIME__);
     printf("#include \"scancode.h\"\n");
     printf("/* *INDENT-OFF* */\n");
     printf("char scan_code[256] = {\n");