BEGIN {
while ((getline i < "proto.h") > 0) old_protos = old_protos ? old_protos "\n" i : i
+ close("proto.h")
protos = "/* This file is automatically generated with \"make proto\". DO NOT EDIT */\n"
}
END {
if (old_protos != protos) print protos > "proto.h"
- printf "" > "proto.h-tstamp"
+ system("touch proto.h-tstamp")
}