ADded numabstract types.

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index 8b988ce6d5a8b59a25d73f42f8b4dd414fa123a5..753118739c830f05729ea3f5350b7542594c79f1 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -349,7 +349,8 @@ COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
 ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC)
 
 #files to run Splint on
-LINTSRC = $(COMMONSRC) $(SPLINTSRC) cscanner.c cgrammar.c
+LINTSRC = $(COMMONSRC) $(SPLINTSRC) 
+## cscanner.c cgrammar.c
 
 
 #ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC)