diff options
Diffstat (limited to 'lib/Makefile.am')
-rw-r--r-- | lib/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Makefile.am b/lib/Makefile.am index a58169777..f24816d78 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -69,6 +69,7 @@ getdate.c: getdate.y echo "/*@-retvalint -usedef -varuse -nullderef -nullassign @*/";\ echo "/*@-readonlytrans -modunconnomods -compdef -noeffectuncon @*/";\ echo "/*@-globs -evalorderuncon -modobserveruncon -modnomods @*/";\ + echo "/*@unused@*/";\ sed -e 's,y.tab.c,getdate.c,' y.tab.c \ -e 's,^YYSTYPE ,static &,' \ -e 's,^short ,static &,' \ |