*** empty log message ***

[splint.git] / lib / Makefile.in

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 0f09e52b85dba59d6bb8a5005ed8bd08b0576960..8c654ed4dbdf43f875158916863489b880aa14c5 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -240,27 +240,27 @@ $(SPLINT):
        cd $(top_builddir)/src; $(MAKE)
 
 ansi.lcd: ansi.h $(SPLINT)
-       -$(SPLINT) -nolib +impconj ansi.h -dump ansi
+       -$(SPLINT) -nof -nolib +impconj ansi.h -dump ansi
        @touch $@
 
 ansistrict.lcd: ansi.h $(SPLINT)
-       -$(SPLINT) -nolib +impconj -DSTRICT ansi.h -dump ansistrict
+       -$(SPLINT) -nof -nolib +impconj -DSTRICT ansi.h -dump ansistrict
        @touch $@
 
 posix.lcd: ansi.h posix.h $(SPLINT)
-       -$(SPLINT) -nolib +impconj ansi.h posix.h -dump posix
+       -$(SPLINT) -nof -nolib +impconj ansi.h posix.h -dump posix
        @touch $@
 
 posixstrict.lcd: ansi.h posix.h $(SPLINT)
-       -$(SPLINT) -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
+       -$(SPLINT) -nof -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
        @touch $@
 
 unix.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT)
-       -$(SPLINT) -incondefs -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix
+       -$(SPLINT) -nof -incondefs -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix
        @touch $@
 
 unixstrict.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT)
-       -$(SPLINT) -incondefs -nolib +impconj -DSTRICT ansi.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict
+       -$(SPLINT) -nof -incondefs -nolib +impconj -DSTRICT ansi.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict
        @touch $@
 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 # Otherwise a system limit (for SysV at least) may be exceeded.