]> git.saurik.com Git - bison.git/commit
build: avoid ignored errors.
authorAkim Demaille <demaille@gostai.com>
Fri, 22 May 2009 14:13:41 +0000 (16:13 +0200)
committerAkim Demaille <demaille@gostai.com>
Mon, 25 May 2009 15:03:47 +0000 (17:03 +0200)
commit796a2b0ab07c4cb7f7885bfa3f3f823835d537b1
tree14a9f91438a89745ff1b9286e514d132cdba4478
parent0b6d43c52f4ffdc4cd57149bf050c31c63696ac5
build: avoid ignored errors.

* doc/local.mk ($(CROSS_OPTIONS_TEXI)): Don't generate ignored
errors, they pollute the output.
ChangeLog
doc/local.mk