diff options
| author | Ralf Corsépius <corsepiu@fedoraproject.org> | 2007-09-11 16:17:16 +0200 |
|---|---|---|
| committer | Ralf Corsépius <corsepiu@fedoraproject.org> | 2007-09-11 16:17:16 +0200 |
| commit | 1a01bdd6c6785e3e3d99894bf4219a60b1fc8c9a (patch) | |
| tree | c07f30fe1a3a94a5ca597eb5b627a9910f6130c2 /tools/rpmdeps.c | |
| parent | 3aad15624eeefcca56051a2d595f9924a15f80b2 (diff) | |
| download | rpm-1a01bdd6c6785e3e3d99894bf4219a60b1fc8c9a.tar.gz rpm-1a01bdd6c6785e3e3d99894bf4219a60b1fc8c9a.tar.bz2 rpm-1a01bdd6c6785e3e3d99894bf4219a60b1fc8c9a.zip | |
Remove splint tags.
Diffstat (limited to 'tools/rpmdeps.c')
| -rw-r--r-- | tools/rpmdeps.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/rpmdeps.c b/tools/rpmdeps.c index 5ecf1f172..dc22391a7 100644 --- a/tools/rpmdeps.c +++ b/tools/rpmdeps.c @@ -8,13 +8,10 @@ const char *__progname; #include "debug.h" -/*@unchecked@*/ char *progname; -/*@unchecked@*/ static int print_provides; -/*@unchecked@*/ static int print_requires; static void rpmdsPrint(const char * msg, rpmds ds, FILE * fp) @@ -56,12 +53,10 @@ main(int argc, char *const argv[]) int xx; char buf[BUFSIZ]; -/*@-modobserver@*/ if ((progname = strrchr(argv[0], '/')) != NULL) progname++; else progname = argv[0]; -/*@=modobserver@*/ optCon = rpmcliInit(argc, argv, optionsTable); if (optCon == NULL) |