Branch: Tag:

2004-12-30

2004-12-30 14:24:23 by Martin Nilsson <mani@lysator.liu.se>

Experiment with splint

Rev: src/Makefile.in:1.398

1:   # - # $Id: Makefile.in,v 1.397 2004/12/30 13:43:45 grubba Exp $ + # $Id: Makefile.in,v 1.398 2004/12/30 14:24:23 nilsson Exp $   #      # This line is needed on some machines.
341:    -@mv pike pike.old 2>/dev/null || true    $(SMARTLINK) quantify $(REALCC) $(LDFLAGS) $(OBJ) `cat modules/linker_options post_modules/linker_options` $(LIBS) -o pike    + splint: +  splint $(PREFLAGS) -warnposix +charintliteral -realcompare -boolops -predboolint $(FILE) +    atom: pike    atom pike -tool atom -env threads -g -v `find lib/modules -type f -name '*.so' -print | sed -e 's/^/-incobj /g'`    mv pike pike.pre-atom