Subject: Re: port-amiga/1727: -fno-builtin is no longer needed in Makefile.amiga
To: None <>
From: Chris G Demetriou <Chris_G_Demetriou@BALVENIE.PDL.CS.CMU.EDU>
List: netbsd-bugs
Date: 11/05/1995 19:45:32
> >Description:
> 	The -fno-builtin switch is no longer needed.
> 	All source files are now okay.
> >How-To-Repeat:
> 	Make an new kernel without -fno-builtin

There is a fair case to be made that kernels should be compiled with
-fno-builtin, even if the sources are "fixed" to avoid namespace

for one, inlining them skews can profiling results...  additionally,
the compiler's prototypes do not necessarily match the kernel's
prototypes, and that may not be an error.