Unreviewed patch / {PATCH] Do not override configure decision about inhibit_libc

[Momchil Velikov]

>>>>> "Joern" == Joern Rennecke <joern.rennecke@superh.com> writes:
Joern> Momchil Velikov wrote:
>> I can think of at least three legitimate cases:
>> 
>> I. Use the compiler in a freestanding environment - no libraies or
>> headers exist at all.

Joern> Is there a demand for this configuration?  In that case, we should
Joern> have something more fine-grained that inhibit_libc, which suppresses
Joern> the profiling support along with eprintf.

I'd think disabling profiling in the environments, which do not
support stdio is prefferable to disabling the use of GCC in these
environments.

~velco