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 /sys/tools/makeobjops.awk | |
| parent | c9c8bf05a15778986618463f898838c6ad8a5343 (diff) | |
Notes
Diffstat (limited to 'sys/tools/makeobjops.awk')
| -rw-r--r-- | sys/tools/makeobjops.awk | 5 |
1 files changed, 4 insertions, 1 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" \ |