From de62764f8fcdbd95824db21ea2156a4f1e7ee211 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Wed, 27 Nov 2013 17:57:16 -0500
Subject: [PATCH] Partial splint cleanup.

---
 Makefile | 4 ++++
 ascii.c  | 6 ++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index dcf1658..bd564e9 100644
--- a/Makefile
+++ b/Makefile
@@ -30,6 +30,10 @@ CPPCHECKOPTS =
 cppcheck: nametable.h splashscreen.h
 	cppcheck -DREVISION=$(VERS) $(CPPCHECKOPTS) ascii.c
 
+SPLINT_SUPPRESSIONS = -boolops -nullret -initallelements +charintliteral
+splint:
+	splint +quiet +posixlib $(SPLINT_SUPPRESSIONS) ascii.c
+
 install: ascii ascii.1
 	cp ascii $(DESTDIR)$(PREFIX)/bin/ascii
 	cp ascii.1 $(DESTDIR)$(PREFIX)/share/man/man1
diff --git a/ascii.c b/ascii.c
index 6ba637b..4c1cc9d 100644
--- a/ascii.c
+++ b/ascii.c
@@ -13,12 +13,15 @@
  * For license terms, see the file COPYING.
  */
 
+#ifndef S_SPLINT_S
 #include <unistd.h>
-#include <stdio.h>
 #include <ctype.h>
+#endif /* S_SPLINT_S */
+#include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
 #include <stdbool.h>
+#include <getopt.h>
 
 #ifdef __CYGWIN__
 #undef stricmp
@@ -400,6 +403,5 @@ int main(int argc, char **argv)
     exit(0);
 }
 
-/******************************************************************/
 /* ascii.c ends here */
 
-- 
2.43.0