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