]>
Commit | Line | Data |
---|---|---|
3cbc7af0 | 1 | // Underlying io library details -*- C++ -*- |
9717c75c | 2 | |
ddc9c40d | 3 | // Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2009, 2010 |
3cbc7af0 | 4 | // Free Software Foundation, Inc. |
9717c75c BK |
5 | // |
6 | // This file is part of the GNU ISO C++ Library. This library is free | |
7 | // software; you can redistribute it and/or modify it under the | |
8 | // terms of the GNU General Public License as published by the | |
748086b7 | 9 | // Free Software Foundation; either version 3, or (at your option) |
9717c75c BK |
10 | // any later version. |
11 | ||
12 | // This library is distributed in the hope that it will be useful, | |
13 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | // GNU General Public License for more details. | |
16 | ||
748086b7 JJ |
17 | // Under Section 7 of GPL version 3, you are granted additional |
18 | // permissions described in the GCC Runtime Library Exception, version | |
19 | // 3.1, as published by the Free Software Foundation. | |
20 | ||
21 | // You should have received a copy of the GNU General Public License and | |
22 | // a copy of the GCC Runtime Library Exception along with this program; | |
23 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
24 | // <http://www.gnu.org/licenses/>. | |
9717c75c | 25 | |
143c27b0 BK |
26 | /** @file c++io.h |
27 | * This is an internal header file, included by other library headers. | |
28 | * You should not attempt to use it directly. | |
29 | */ | |
30 | ||
9717c75c BK |
31 | // c_io_stdio.h - Defines for using "C" stdio.h |
32 | ||
311635d1 BK |
33 | #ifndef _GLIBCXX_CXX_IO_H |
34 | #define _GLIBCXX_CXX_IO_H 1 | |
9717c75c | 35 | |
df7b1359 | 36 | #include <cstdio> |
5e218033 | 37 | #include <bits/gthr.h> |
9717c75c | 38 | |
3cbc7af0 BK |
39 | _GLIBCXX_BEGIN_NAMESPACE(std) |
40 | ||
5e218033 | 41 | typedef __gthread_mutex_t __c_lock; |
9717c75c | 42 | |
cc5112c9 | 43 | // for basic_file.h |
d3a193e3 | 44 | typedef FILE __c_file; |
9717c75c | 45 | |
3cbc7af0 | 46 | _GLIBCXX_END_NAMESPACE |
9717c75c | 47 | |
cc5112c9 | 48 | #endif |