diff options
| author | jbj <devnull@localhost> | 2002-06-19 18:52:46 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-06-19 18:52:46 +0000 |
| commit | 49658e0fffae92961788e6067fa37d8065a0b695 (patch) | |
| tree | 26eefd5534995113b766fb81631ac1f206efe982 /lib/rpmrc.c | |
| parent | 448e44da6c79f1eb6789d6922e05a4b15e66c96a (diff) | |
| download | librpm-tizen-49658e0fffae92961788e6067fa37d8065a0b695.tar.gz librpm-tizen-49658e0fffae92961788e6067fa37d8065a0b695.tar.bz2 librpm-tizen-49658e0fffae92961788e6067fa37d8065a0b695.zip | |
Annotate incondefs in source code.
CVS patchset: 5509
CVS date: 2002/06/19 18:52:46
Diffstat (limited to 'lib/rpmrc.c')
| -rw-r--r-- | lib/rpmrc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/rpmrc.c b/lib/rpmrc.c index 89877f494..c7a9b1d9a 100644 --- a/lib/rpmrc.c +++ b/lib/rpmrc.c @@ -781,6 +781,7 @@ static int doReadRC( /*@killref@*/ FD_t fd, const char * urlfn) /** */ +/*@-bounds@*/ static int rpmPlatform(const char * platform) /*@globals nplatpat, platpat, rpmGlobalMacroContext, fileSystem, internalState @*/ @@ -882,6 +883,7 @@ exit: /*@=modobserver@*/ return rc; } +/*@=bounds@*/ # if defined(__linux__) && defined(__i386__) |