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:
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
then echo "Sucessful"; else failed=1;echo "Failed (check buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; fi;echo; \
fi;\
done;\
+ tools/compile-stats;\
exit $$failed
endif
* 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?
};