]> git.saurik.com Git - bison.git/commit
Handle more general types of option arguments.
authorAkim Demaille <demaille@gostai.com>
Tue, 29 Jul 2008 10:41:48 +0000 (12:41 +0200)
committerJoel E. Denny <jdenny@ces.clemson.edu>
Mon, 6 Apr 2009 04:50:21 +0000 (00:50 -0400)
commit0213d65176bad71e1d33b257b5a6933525fef8a2
tree371244f3c7db271a09265c4588f7a83196987793
parentc19178bfaf07d8c56af805e310573595ad67cee9
Handle more general types of option arguments.

* build-aux/cross-options.pl: The argument ends at the first
space, not the first non-symbol character.
Use @var for each word appearing the argument description.
(cherry picked from commit 74eae918c3bf3772d260cb25777d9a998172a401)
ChangeLog
build-aux/cross-options.pl