From e3f4ae303870eb765812a4f48c68164b8e051c83 Mon Sep 17 00:00:00 2001 From: Dale Weiler Date: Wed, 29 May 2013 03:39:38 +0000 Subject: [PATCH] Add back that splint flag --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 2f2b08a..fea3356 100644 --- a/Makefile +++ b/Makefile @@ -129,6 +129,7 @@ SPLINTFLAGS = \ -nullstate \ -varuse \ -mustfreefresh \ + -compdestroy \ -compmempass \ -nullpass \ -onlytrans \ -- 2.39.2