bug#29354: GREP_OPTIONS not processed

[Paul Eggert]

No further comment on this bug report for two years, and I still cannot
reproduce it. Closing the bug report.