pike.git/
src/
Makefile.in
Branch:
Tag:
Non-build tags
All tags
No tags
2004-12-30
2004-12-30 14:24:23 by Martin Nilsson <mani@lysator.liu.se>
80264aea47871153167fc076dc19aa1863d9b448 (
6
lines) (+
5
/-
1
)
[
Show
|
Annotate
]
Branch:
7.9
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