From 6e0e532a90f63ec946f1fe360c6de01574c68abe Mon Sep 17 00:00:00 2001 From: Ed Maste Date: Tue, 7 May 2019 13:04:26 +0000 Subject: [PATCH] Use @generated tag in generated files Multiple tools use @generated to identify generated files (for example, in a review Phabricator will by default hide diffs in generated files). Use the @generated tag in makeobjops.awk and vnode_if.awk as we've done for other generated files. Sponsored by: The FreeBSD Foundation --- sys/tools/makeobjops.awk | 2 +- sys/tools/vnode_if.awk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sys/tools/makeobjops.awk b/sys/tools/makeobjops.awk index 225e48d43497..8db344da6276 100644 --- a/sys/tools/makeobjops.awk +++ b/sys/tools/makeobjops.awk @@ -424,7 +424,7 @@ for (file_i = 0; file_i < num_files; file_i++) { common_head = \ "/*\n" \ - " * This file is produced automatically.\n" \ + " * This file is @generated automatically.\n" \ " * Do not modify anything in here by hand.\n" \ " *\n" \ " * Created from source file\n" \ diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index 6f1d19270786..92ad79fe2c37 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -141,7 +141,7 @@ if (!srcfile) common_head = \ "/*\n" \ - " * This file is produced automatically.\n" \ + " * This file is @generated automatically.\n" \ " * Do not modify anything in here by hand.\n" \ " *\n" \ " * Created from $FreeBSD$\n" \