tools/clean-sat.c

   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 main(int argc, char **argv)
  17 {
  18     int c;
  19
  20     if( argc > 1 ) {
  21         fprintf(stderr, "no arguments, please\n");
  22         return 1;
  23     }
  24
  25     while( (c=getchar()) == '\n' )
  26         ;
  27     while( c != EOF ) {
  28         putchar(c);
  29         c = getchar();
  30     }
  31
  32     return 0;
  33 }
  34