diff options
| author | Ed Maste <emaste@FreeBSD.org> | 2019-05-08 13:35:51 +0000 |
|---|---|---|
| committer | Ed Maste <emaste@FreeBSD.org> | 2019-05-08 13:35:51 +0000 |
| commit | 52bcb118a923da81dfc89e534f417fa93b4e6ac7 (patch) | |
| tree | 63659643e45767c5e7a77eb725ecfcd9297cf4ed | |
| parent | c9c8bf05a15778986618463f898838c6ad8a5343 (diff) | |
Notes
| -rw-r--r-- | sys/tools/makeobjops.awk | 5 | ||||
| -rw-r--r-- | sys/tools/vnode_if.awk | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/sys/tools/makeobjops.awk b/sys/tools/makeobjops.awk index 8db344da6276..5a4ccf759960 100644 --- a/sys/tools/makeobjops.awk +++ b/sys/tools/makeobjops.awk @@ -422,9 +422,12 @@ for (file_i = 0; file_i < num_files; file_i++) { ctmpfilename = cfilename ".tmp"; htmpfilename = hfilename ".tmp"; + # Avoid a literal generated file tag here. + generated = "@" "generated"; + common_head = \ "/*\n" \ - " * This file is @generated 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 92ad79fe2c37..1bfcc2855978 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -139,9 +139,12 @@ if (!cfile && !hfile && !pfile && !qfile) if (!srcfile) usage(); +# Avoid a literal generated file tag here. +generated = "@" "generated"; + common_head = \ "/*\n" \ - " * This file is @generated automatically.\n" \ + " * This file is " generated " automatically.\n" \ " * Do not modify anything in here by hand.\n" \ " *\n" \ " * Created from $FreeBSD$\n" \ |