From b3e6df9cab353594796f49da0f30a71a256f3c5b Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Tue, 19 Oct 2010 01:16:04 -0400
Subject: [PATCH] Add a splint prduction, and adapt to new version of shipper.

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d65a1f9..2b5f997 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,11 @@ ascii.html: ascii.xml
 clean:
 	rm -f ascii ascii.o splashscreen.h nametable.h *.rpm *.tar.gz MANIFEST *.1 *.html SHIPPER.*
 
+SPLINTOPTS = +charintliteral -initallelements +posixlib -mustfreefresh \
+	-predboolint
+splint: nametable.h splashscreen.h
+	splint -I. -DREVISION=$(VERS) $(SPLINTOPTS) ascii.c
+
 install: ascii ascii.1
 	cp ascii $(DESTDIR)/usr/bin/ascii
 	cp ascii.1 $(DESTDIR)/usr/share/man/man1
@@ -43,4 +48,4 @@ ascii-$(VERS).tar.gz: $(SOURCES) ascii.1
 dist: ascii-$(VERS).tar.gz
 
 release: ascii-$(VERS).tar.gz ascii.html
-	shipper t -m; make clean
+	shipper -t -m; make clean
-- 
2.43.0