diff options
| author | jbj <devnull@localhost> | 2002-11-30 21:42:24 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-11-30 21:42:24 +0000 |
| commit | bd00220d417766369bb3e14193bbe7c2876a53e4 (patch) | |
| tree | 7e4c1a81c8caf9b76d1867c96d513e3ab8ae409d /build/rpmfc.h | |
| parent | 0046c56cf8dc3503bc6f93d7bfde34cb8a9ac5c2 (diff) | |
| download | librpm-tizen-bd00220d417766369bb3e14193bbe7c2876a53e4.tar.gz librpm-tizen-bd00220d417766369bb3e14193bbe7c2876a53e4.tar.bz2 librpm-tizen-bd00220d417766369bb3e14193bbe7c2876a53e4.zip | |
Splint fiddles.
CVS patchset: 5907
CVS date: 2002/11/30 21:42:24
Diffstat (limited to 'build/rpmfc.h')
| -rw-r--r-- | build/rpmfc.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/build/rpmfc.h b/build/rpmfc.h index 2609f2e3b..9bdc6285e 100644 --- a/build/rpmfc.h +++ b/build/rpmfc.h @@ -1,8 +1,10 @@ #ifndef _H_RPMFC_ #define _H_RPMFC_ -/*@notchecked@*/ +#include "rpmfile.h" + /*@-exportlocal@*/ +/*@unchecked@*/ extern int _rpmfc_debug; /*@=exportlocal@*/ @@ -115,7 +117,8 @@ rpmfc rpmfcNew(void) * Build file class dictionary and mappings. */ int rpmfcClassify(rpmfc fc, ARGV_t argv) - /*@modifies fc @*/; + /*@globals global_fmagic, fileSystem, internalState @*/ + /*@modifies fc, global_fmagic, fileSystem, internalState @*/; /** * BUild file/package dependency dictionary and mappings. |