Subject: Re: port-amiga/1727: -fno-builtin is no longer needed in Makefile.amiga
To: None <email@example.com>
From: Chris G Demetriou <Chris_G_Demetriou@BALVENIE.PDL.CS.CMU.EDU>
Date: 11/05/1995 19:45:32
> The -fno-builtin switch is no longer needed.
> All source files are now okay.
> 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.