[PATCH] Have regdat.sh always rewrite the output register file

[Tom Tromey]

>>>>> "Patrick" == Patrick Palka <patrick@parcs.ath.cx> writes:

Patrick> +2014-01-10  Patrick Palka  <patrick@parcs.ath.cx>
Patrick> +
Patrick> +	* regformats/regdat.sh: Always rewrite the register file.
Patrick> +

This is ok.  I'll push it momentarily.

Do you have a copyright assignment in place?
I think this particular patch falls under the limit, following the "one
way to write it" rule; but if you don't have an assignment, it would be
good to get one for future patches.  Contact me off-list if you need this.

Tom