diff options
| author | jbj <devnull@localhost> | 2001-10-15 03:22:10 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-10-15 03:22:10 +0000 |
| commit | d8dc44f36377c59164d19106f0f93843ea5b3a09 (patch) | |
| tree | 8f521d9b295dd0e9d05721cfd97f3d8a5b30801d /build.h | |
| parent | 4b67d7621c20e1f2c5aa1ebdf7bb26eb3a6ae0d5 (diff) | |
| download | rpm-d8dc44f36377c59164d19106f0f93843ea5b3a09.tar.gz rpm-d8dc44f36377c59164d19106f0f93843ea5b3a09.tar.bz2 rpm-d8dc44f36377c59164d19106f0f93843ea5b3a09.zip | |
lclint fiddles to annotate globals.
CVS patchset: 5106
CVS date: 2001/10/15 03:22:10
Diffstat (limited to 'build.h')
| -rw-r--r-- | build.h | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -7,7 +7,9 @@ extern "C" { int build(const char * arg, BTA_t ba, const char * passPhrase, char * cookie, /*@null@*/ const char * rcfile) - /*@modifies ba->buildAmount, fileSystem @*/; + /*@globals rpmGlobalMacroContext, + fileSystem, internalState @*/ + /*@modifies ba->buildAmount, fileSystem, internalState @*/; #ifdef __cplusplus } |