On 01/27/2012 12:20 PM, Bernd Schmidt wrote:
I noticed that genautomata does not accept any of the options it is
trying to handle, since init_rtx_reader_args already errors out for all
of them. This was probably broken by some gensupport reorganization way
back.
Fixed with this patch; I also rem
I noticed that genautomata does not accept any of the options it is
trying to handle, since init_rtx_reader_args already errors out for all
of them. This was probably broken by some gensupport reorganization way
back.
Fixed with this patch; I also removed the zero initializations for the
flags whi
