diff options
| author | jbj <devnull@localhost> | 2001-05-05 19:28:32 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-05-05 19:28:32 +0000 |
| commit | 8f75bbc17dab6c334583f33c7b912fb16d2ddc4b (patch) | |
| tree | 145862352d95e2d391f0d65db0027d44bf236b39 /system.h | |
| parent | d78e027808deb6aef4e65338d160986d7e576a90 (diff) | |
| download | rpm-8f75bbc17dab6c334583f33c7b912fb16d2ddc4b.tar.gz rpm-8f75bbc17dab6c334583f33c7b912fb16d2ddc4b.tar.bz2 rpm-8f75bbc17dab6c334583f33c7b912fb16d2ddc4b.zip | |
- enough lclint annotations and fiddles already.
CVS patchset: 4741
CVS date: 2001/05/05 19:28:32
Diffstat (limited to 'system.h')
| -rw-r--r-- | system.h | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -90,7 +90,9 @@ extern int errno; #endif #ifdef STDC_HEADERS +/*@-macrounrecog -incondefs -globuse@*/ /* FIX: shrug */ #define getopt system_getopt +/*@=macrounrecog =incondefs =globuse@*/ /*@-skipansiheaders@*/ #include <stdlib.h> /*@=skipansiheaders@*/ |