tech-toolchain archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: TOOL_GREP in share/mk/

On Sat, 11 Aug 2018, Palle Lyckegaard wrote:

Date: Sat, 11 Aug 2018 13:51:12
From: Palle Lyckegaard <>
Subject: TOOL_GREP in share/mk/

Are there any plans to re-introduce TOOL_GREP to use the src/tools/grep tool again?

Looks like this has been fixed now - thanks christos@ :-)

Home | Main Index | Thread Index | Old Index