Index: head/sys/tools/makeobjops.awk
===================================================================
--- head/sys/tools/makeobjops.awk
+++ head/sys/tools/makeobjops.awk
@@ -422,9 +422,12 @@
 	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" \
Index: head/sys/tools/vnode_if.awk
===================================================================
--- head/sys/tools/vnode_if.awk
+++ head/sys/tools/vnode_if.awk
@@ -139,9 +139,12 @@
 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" \