set LARCH_PATH=h:/lint/lib
h:\lint\bin\lclint %1 +weak -macrovarprefixexclude +posixlib +trytorecover -DISLINT -DUSER_BDB -DHAS_DST -DINCREASE_FD -DBADMALLOC -DEMSG_USEC -DHAS_STATFS -DHAS_DLOPEN -DPASS_SHADOW -DLINUX -Dunix -Disunix -DSYSTEM_TYPE="\"Linux\""


