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 removed the zero initializations for the flags which ought to be unnecessary. Bootstrapped on i686-linux. Ok?
Ok. Thanks, Bernd.
