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
This commit is contained in:
Ed Maste 2019-05-07 13:04:26 +00:00
parent 726f09bc6a
commit 6e0e532a90
2 changed files with 2 additions and 2 deletions

@ -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" \

@ -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" \