- splint `find src -name '*.c' | grep -v RL | grep -v SG` +matchanyintegral -warnposix +boolint -Inws_portability/Include/ -Isrc/include -Isrc/base -Isrc
-
+ splint `make dist-files | grep -v $(PWD) | egrep '\.[ch]$$' |sort -u` \
+ +matchanyintegral -warnposix +boolint \
+ +show-summary +stats\
+ -Iinclude -Isrc/include -Isrc/base -Isrc
+.PHONY: splint
# - touch: touch every file of the source tree to deal with
# clock brokenness. May help, may harm.
# - config: launch configure
# - touch: touch every file of the source tree to deal with
# clock brokenness. May help, may harm.
# - config: launch configure
@echo;echo "----[ Recompile the package on remote hosts ]----"
@test -e @srcdir@/buildlogs/@PACKAGE@-@VERSION@ || mkdir -p @srcdir@/buildlogs/@PACKAGE@-@VERSION@
@failed=0;\
for site in $(MACHINES) ; do \
machine=`echo $$site |sed 's/^\([^%]*\)%.*$$/\1/'`;\
machine2=`echo $$site |sed 's/^\([^%]*\)%\(.*\)$$/\2/'`;\
@echo;echo "----[ Recompile the package on remote hosts ]----"
@test -e @srcdir@/buildlogs/@PACKAGE@-@VERSION@ || mkdir -p @srcdir@/buildlogs/@PACKAGE@-@VERSION@
@failed=0;\
for site in $(MACHINES) ; do \
machine=`echo $$site |sed 's/^\([^%]*\)%.*$$/\1/'`;\
machine2=`echo $$site |sed 's/^\([^%]*\)%\(.*\)$$/\2/'`;\
if echo $$site | grep '%' >/dev/null ; then \
echo "----[ Compile on $$machine2 (behind $$machine) ]----";\
else \
if echo $$site | grep '%' >/dev/null ; then \
echo "----[ Compile on $$machine2 (behind $$machine) ]----";\
else \
- echo "-- Copy the data over"; \
- scp @srcdir@/@PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker \
+ if echo $(ACTIONS) |grep -q scp ; then \
+ echo "-- Copy the data over"; \
+ scp @srcdir@/@PACKAGE@-@VERSION@.tar.gz tools/graspe-slave \
\
echo "-- Compiling... (the output gets into @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; \
if echo $$site | grep '%' >/dev/null ; then \
\
echo "-- Compiling... (the output gets into @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; \
if echo $$site | grep '%' >/dev/null ; then \