[Bug bootstrap/60743] build/genautomata uses 700 MB memory for ARM

[bernd.edlinger at hotmail dot de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60743

--- Comment #9 from Bernd Edlinger <bernd.edlinger at hotmail dot de> ---
The patch works for me.

Thanks for fixing this so quickly!