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 /lib/cpio.c | |
| 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 'lib/cpio.c')
| -rw-r--r-- | lib/cpio.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/cpio.c b/lib/cpio.c index 15242798d..b7a022cfc 100644 --- a/lib/cpio.c +++ b/lib/cpio.c @@ -16,6 +16,7 @@ /*@access FSM_t @*/ /*@-exportheadervar@*/ +/*@unchecked@*/ extern int _fsm_debug; /*@=exportheadervar@*/ |