--- src/sys/conf/kern.fwd.mk	2006/11/19 07:49:34	1.1
+++ src/sys/conf/kern.fwd.mk	2006/11/19 14:36:53	1.2
@@ -27,8 +27,8 @@ ${_FWDHDRS}:
 	echo " * CONFIG-GENERATED FILE, DO NOT EDIT" ; \
 	echo " */" ; \
 	echo ; \
-	echo "#ifndef _MACHINE_${.TARGET:T:S/./_/g:U:R}_H_" ; \
-	echo "#define _MACHINE_${.TARGET:T:S/./_/g:U:R}_H_" ; \
+	echo "#ifndef _MACHINE_${.TARGET:T:S/./_/g:U:R}_" ; \
+	echo "#define _MACHINE_${.TARGET:T:S/./_/g:U:R}_" ; \
 	echo "#include <cpu/${.TARGET:T}>" ; \
 	echo "#endif" ; \
 	echo) > ${.TARGET}