--- Makefile.in.orig	2022-12-29 10:56:49 UTC
+++ Makefile.in
@@ -280,26 +280,26 @@ asm/warnings.time: $(ALLOBJ_NW:.$(O)=.c)
 	$(MAKE) asm/warnings.time
 
 asm/warnings.time: $(ALLOBJ_NW:.$(O)=.c)
-	: > asm/warnings.time
+	touch asm/warnings.time
 	$(MAKE) $(WARNFILES:=.time)
 
 asm/warnings.c.time: asm/warnings.pl asm/warnings.time
 	$(RUNPERL) $(srcdir)/asm/warnings.pl c asm/warnings.c $(srcdir)
-	: > asm/warnings.c.time
+	touch asm/warnings.c.time
 
 asm/warnings.c: asm/warnings.c.time
 	@: Side effect
 
 include/warnings.h.time: asm/warnings.pl asm/warnings.time
 	$(RUNPERL) $(srcdir)/asm/warnings.pl h include/warnings.h $(srcdir)
-	: > include/warnings.h.time
+	touch include/warnings.h.time
 
 include/warnings.h: include/warnings.h.time
 	@: Side effect
 
 doc/warnings.src.time: asm/warnings.pl asm/warnings.time
 	$(RUNPERL) $(srcdir)/asm/warnings.pl doc doc/warnings.src $(srcdir)
-	: > doc/warnings.src.time
+	touch doc/warnings.src.time
 
 doc/warnings.src : doc/warnings.src.time
 	@: Side effect