From f2c8100157073c9fa6be8ab93d723432fef5c5c7 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sat, 24 Jul 2004 20:18:24 +0000
Subject: [PATCH] First step of splintification

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@339 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 Makefile.am        |  8 +++++++-
 include/gras/log.h | 15 ++++++++-------
 2 files changed, 15 insertions(+), 8 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index b93da68a98..3687d7c0a8 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -30,8 +30,13 @@ debian: dist
 	dput local *.changes
 
 publish: dist
+	 @echo "----[ Put the documentation on the local filesystem ]----"
+	 rm -rf ~/public_html/gras/doc
+	 mkdir ~/public_html/gras/doc
+	 cp -r doc/html ~/public_html/gras/doc
 	 @echo "----[ Put the tarball @VERSION@ on the local filesystem ]----"
 	 cp @PACKAGE@-@VERSION@.tar.gz ~/public_html/gras/dl
+	 @echo "----[ Sync remote host ]----"
 	 make -C public_html publish
 
 mail:
@@ -52,7 +57,7 @@ mail:
 
 
 splint:
-	splint `find src examples -name '*.c'` +matchanyintegral -warnposix +boolint -Inws_portability/Include/ -Isrc/
+	splint `find src -name '*.c' | grep -v RL | grep -v SG` +matchanyintegral -warnposix +boolint -Inws_portability/Include/ -Isrc/include -Isrc/base -Isrc
 
 ##
 ## Cruft for remote compilation
@@ -106,6 +111,7 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
 	     then echo "Sucessful"; else failed=1;echo "Failed (check buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; fi;echo; \
 	   fi;\
 	done;\
+	tools/compile-stats;\
 	exit $$failed
 
 endif
diff --git a/include/gras/log.h b/include/gras/log.h
index 8c0782e441..04996099d6 100644
--- a/include/gras/log.h
+++ b/include/gras/log.h
@@ -150,13 +150,14 @@ typedef struct gras_log_category_s gras_log_category_t;
  * Do NOT access any members of this structure directly.
  */
 struct gras_log_category_s {
-  gras_log_category_t *parent;
-  gras_log_category_t *firstChild, *nextSibling;
-  const char *name;
-  int threshold;
-  int isThreshInherited;
-  gras_log_appender_t *appender;
-  int willLogToParent;
+            gras_log_category_t *parent;
+/*@null@*/  gras_log_category_t *firstChild; 
+/*@null@*/  gras_log_category_t *nextSibling;
+            const char *name;
+            int threshold;
+            int isThreshInherited;
+/*@null@*/  gras_log_appender_t *appender;
+            int willLogToParent;
   // TODO: Formats?
 };
 
-- 
2.20.1