diff --git a/src/getargs.c b/src/getargs.c
index de468e55..23b06394 100644
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -24,8 +24,20 @@
 
 #include <argmatch.h>
 #include <error.h>
+
+/* Hack to get <getopt.h> to declare getopt with a prototype.  */
+#if lint && ! defined __GNU_LIBRARY__
+# define __GNU_LIBRARY__
+# define HACK_FOR___GNU_LIBRARY___PROTOTYPE 1
+#endif
+
 #include <getopt.h>
 
+#ifdef HACK_FOR___GNU_LIBRARY___PROTOTYPE
+# undef __GNU_LIBRARY__
+# undef HACK_FOR___GNU_LIBRARY___PROTOTYPE
+#endif
+
 #include "complain.h"
 #include "files.h"
 #include "getargs.h"