]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5fc95d) | patch
Add missing $(EXEEXT).
authorAkim Demaille <demaille@gostai.com>
Sun, 16 Nov 2008 18:49:35 +0000 (19:49 +0100)
committerAkim Demaille <demaille@gostai.com>
Sun, 16 Nov 2008 18:49:35 +0000 (19:49 +0100)
commit23ce6f4cb35ec3b966d01f9236196665e58e3dd6
tree08277ac2d50744d3d7fc214d2d2e88d2b1df25d3tree | snapshot
parentc5fc95d6884967ccdeb02edb63de02b8b7548f87commit | diff
Add missing $(EXEEXT).

* doc/local.mk ($(CROSS_OPTIONS_TEXI)): The target is
"src/bison$(EXEEXT)".
Reported by Di-an Jan.
ChangeLog diff | blob | blame | history
doc/local.mk diff | blob | blame | history
bison