blob: 2db82f9ab80c2cbabd0a71ff92888afcb9349ed1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#include <dietstdio.h>
#ifdef WANT_BUFFERED_STDIO
static FILE __stdin = { 0, BUFINPUT, 0, 0 };
int __fflush_stdin() {
return fflush(stdin);
}
#else
static FILE __stdin = { 0, 0 };
#endif
FILE *stdin=&__stdin;
|