Remove splint annotation from getdate.c.
authorRalf Corsépius <corsepiu@fedoraproject.org>
Wed, 12 Sep 2007 07:05:35 +0000 (09:05 +0200)
committerRalf Corsépius <corsepiu@fedoraproject.org>
Wed, 12 Sep 2007 07:05:35 +0000 (09:05 +0200)
lib/Makefile.am

index 11e3aba..65bc122 100644 (file)
@@ -47,21 +47,12 @@ getdate.c: getdate.y
        @echo expect 10 shift/reduce conflicts
        $(YACC) $(srcdir)/getdate.y
        -@if test -f y.tab.c; then \
-        { echo "/*@-globstate -statictrans -unqualifiedtrans -noparams @*/";\
-          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 \
+        { sed  -e 's,y.tab.c,getdate.c,' y.tab.c \
                -e 's,^YYSTYPE ,static &,' \
                -e 's,^short ,static &,' \
                -e 's,^const short ,static &,' \
                -e 's,^int yydebug,/*@unused@*/ static &,' \
                -e 's,^int ,static &,' ;\
-          echo "/*@=globs =evalorderuncon =modobserveruncon =modnomods @*/";\
-          echo "/*@=readonlytrans =modunconnomods =compdef =noeffectuncon @*/";\
-          echo "/*@=retvalint =usedef =varuse =nullderef =nullassign @*/";\
-          echo "/*@=globstate =statictrans =unqualifiedtrans =noparams @*/";\
         } > getdate.c ;\
           rm -f y.tab.c; \
        else \