Use touch for proto.h-tstamp since one awk wasn't updating mtime.

WayneD · WayneD · commit 7f5c4084c76f · 2020-08-03T13:33:46.000-07:00
diff --git a/mkproto.awk b/mkproto.awk
@@ -36,5 +36,5 @@ inheader {
 
 END {
     if (old_protos != protos) print protos > "proto.h"
-    printf "" > "proto.h-tstamp"
+    system("touch proto.h-tstamp")
 }

Original file line number	Diff line number	Diff line change
`@@ -36,5 +36,5 @@ inheader {`
`36`	`36`
`37`	`37`	`END {`
`38`	`38`	`if (old_protos != protos) print protos > "proto.h"`
`39`		`- printf "" > "proto.h-tstamp"`
	`39`	`+ system("touch proto.h-tstamp")`
`40`	`40`	`}`