Hello Bruno, thanks for the fix, now 'grep' built successfully.
- bug#25821: grep-3.0 FAILS on Make phase Paul Eggert
- bug#25821: grep-3.0 FAILS on Make phase rennes
- bug#25821: grep-3.0 FAILS on Make phase Bruno Haible
- bug#25821: grep-3.0 FAILS on Make phase rennes
