wks: Allow gpg-wks-client --supported with just the domain name
[gnupg.git] / tools / clean-sat.c
index a4f88e5..4848f97 100644 (file)
@@ -1,4 +1,13 @@
 /* clean-sat.c
+ * Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
+ *
+ * This file is free software; as a special exception the author gives
+ * unlimited permission to copy and/or distribute it, with or without
+ * modifications, as long as this notice is preserved.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
+ * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  */
 
 #include <stdio.h>
@@ -6,7 +15,9 @@
 int
 main(int argc, char **argv)
 {
-    int c, c2;
+    int c;
+
+    (void)argv;
 
     if( argc > 1 ) {
        fprintf(stderr, "no arguments, please\n");
@@ -22,4 +33,3 @@ main(int argc, char **argv)
 
     return 0;
 }
-