Duh! LINT is called NOTES these days.

Make sure LINT checks profiling code as well.

sys/conf/NOTES

@@ -33,6 +33,10 @@ ident		LINT
 #
 maxusers	10
 
+#
+# We want LINT to cover profiling as well
+profile 	1
+
 #
 # The `makeoptions' parameter allows variables to be passed to the
 # generated Makefile in the build area.

sys/i386/conf/NOTES

@@ -33,6 +33,10 @@ ident		LINT
 #
 maxusers	10
 
+#
+# We want LINT to cover profiling as well
+profile 	1
+
 #
 # The `makeoptions' parameter allows variables to be passed to the
 # generated Makefile in the build area.

sys/i386/conf/makeLINT.pl

@@ -14,6 +14,7 @@ while (<>) {
 	next if ($key =~ /^hint\./);
 	if ($key eq "machine" || $key eq "ident" || $key eq "device" ||
 	    $key eq "makeoptions" || $key eq "options" ||
+	    $key eq "profile" ||
 	    $key eq "cpu" || $key eq "option" || $key eq "maxusers") {
 		print "$line\n";
 	} else {