Re: [GIT PULL -tip] fix 33 make headers_check warnings

Jan Engelhardt
2009-01-23T16:11:13Z

On Friday 2009-01-23 17:04, Jaswinder Singh Rajput wrote:
>> > diff --git a/include/linux/dvb/audio.h b/include/linux/dvb/audio.h
>> > index 89412e1..758a48c 100644
>> > --- a/include/linux/dvb/audio.h
>> > +++ b/include/linux/dvb/audio.h
>> > @@ -24,9 +24,8 @@
>> > #ifndef _DVBAUDIO_H_
>> > #define _DVBAUDIO_H_
>> >
>> > -#ifdef __KERNEL__
>> > #include <linux/types.h>
>> > -#else
>> > +#ifndef __KERNEL__
>> > #include <stdint.h>
>> > #endif
>> >
>>
>> It seems one have objection for this. So I will again insert this in my
>> new patchset.
>>
>
>oops, s/seems one/seems no one ;-)

I had an objection as previously stated -- namely that
<stdint.h> should be included to remain friendly to C++0x
programs which should use <cstdint> instead. Forcing
stdint.h is therefore not nice.