xref: /netbsd-src/external/gpl3/gcc.old/dist/gcc/config/vxworks/stdint.h (revision 4c3eb207d36f67d31994830c0a694161fc1ca39b)
1 /* This file is part of GCC.
2 
3 GCC is free software; you can redistribute it and/or modify it under
4 the terms of the GNU General Public License as published by the Free
5 Software Foundation; either version 3, or (at your option) any later
6 version.
7 
8 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
9 WARRANTY; without even the implied warranty of MERCHANTABILITY or
10 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
11 for more details.
12 
13 Under Section 7 of GPL version 3, you are granted additional
14 permissions described in the GCC Runtime Library Exception, version
15 3.1, as published by the Free Software Foundation.
16 
17 You should have received a copy of the GNU General Public License and
18 a copy of the GCC Runtime Library Exception along with this program;
19 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
20 <http://www.gnu.org/licenses/>.  */
21 
22 #ifndef __GCC_STDINT_H
23 #define __GCC_STDINT_H
24 
25 #include <_yvals.h>
26 #include <stdint-gcc.h>
27 
28 #endif
29