]> 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)
committerAkim Demaille <demaille@gostai.com>
Fri, 7 Nov 2008 20:38:14 +0000 (21:38 +0100)
commit74eae918c3bf3772d260cb25777d9a998172a401
tree966eff3f4346f2f609c5d26b00ebd934a353c91d
parenta3d4c6fbb1b4d7b98bff774bb05e2cb66890a8b1
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.
ChangeLog
build-aux/cross-options.pl