[Bug target/87508] unrecognized command line option '-mfloat-gprs=double'

[zwilcox at sandia dot gov]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87508

--- Comment #2 from Zachary Wilcox <zwilcox at sandia dot gov> ---
Thank you sir.  I should have checked the changes.