From: Jim Meyering <jim@meyering.net>
Date: Fri, 21 Oct 1994 13:37:48 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b3e29501e6c04fbd08a66b880079af04ad95ab9f;p=pspp

.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 7740eaf7db..7cfb5b676b 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -23,7 +23,7 @@ VPATH = @srcdir@
 CC = @CC@
 AR = ar
 RANLIB = @RANLIB@
-DEFS = @DEFS@
+DEFS = -Dlint @DEFS@
 CFLAGS = @CFLAGS@
 YACC = @YACC@