Line data Source code
1 : /* clean-sat.c
2 : * Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
3 : *
4 : * This file is free software; as a special exception the author gives
5 : * unlimited permission to copy and/or distribute it, with or without
6 : * modifications, as long as this notice is preserved.
7 : *
8 : * This program is distributed in the hope that it will be useful, but
9 : * WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
10 : * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
11 : */
12 :
13 : #include <stdio.h>
14 :
15 : int
16 0 : main(int argc, char **argv)
17 : {
18 : int c;
19 :
20 : (void)argv;
21 :
22 0 : if( argc > 1 ) {
23 0 : fprintf(stderr, "no arguments, please\n");
24 0 : return 1;
25 : }
26 :
27 0 : while( (c=getchar()) == '\n' )
28 : ;
29 0 : while( c != EOF ) {
30 0 : putchar(c);
31 0 : c = getchar();
32 : }
33 :
34 0 : return 0;
35 : }
|