]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3f12e0) | patch
remove support for lint
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 3 Aug 2012 06:03:03 +0000 (08:03 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 3 Aug 2012 08:33:51 +0000 (10:33 +0200)
commit56f8d560888c22e2788244066478a3e92334f633
treec50d4a326830a83ad0c309fb1128a37172c4be9ctree | snapshot
parente3f12e0818baab3e61dd30270c54def9ac2f2ad4commit | diff
remove support for lint

Basically revert commit 12ce2df60d16961eaa03a5aa009eeaa645e4e1cb.
http://lists.gnu.org/archive/html/bison-patches/2012-08/msg00004.html

* data/c.m4, data/glr.c, data/yacc.c (YYID): Remove.
No longer use ARGSUSED.
* src/getargs.c: Restore simpler inclusion of getopt.h (anyway, since
then we now use gnulib which certainly protects us from such issues).
data/c.m4 diff | blob | blame | history
data/glr.c diff | blob | blame | history
data/yacc.c diff | blob | blame | history
src/getargs.c diff | blob | blame | history
bison