Problems compiling with a profiled kernel?

Howdy,

On -CURRENT a:

config -p KERNNAME

generates a kernel that won't build because in gmon.h the #ifdef is
for GUPROF and not GPROF.

I don't know that code at all, so I'd like to know if this is the
right diff:

_at__at_ -200,7 +200,7 _at__at_
 
 #ifdef _KERNEL
 
-#ifdef GUPROF
+#ifdef GPROF
 
 #define        CALIB_SCALE     1000
 #define        KCOUNT(p,index) \
_at__at_ -215,12 +215,12 _at__at_
 void   startguprof(struct gmonparam *p);
 void   stopguprof(struct gmonparam *p);
 
-#else /* !GUPROF */
+#else /* !GPROF */
 
 #define        startguprof(p)
 #define        stopguprof(p)
 
-#endif /* GUPROF */
+#end

Later
George