scripts/toolchain-config.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Tue Jan 17 00:37:59 2012 +0100 (2012-01-17) |
| changeset 2839 |
8e8313e40f8a |
| parent 1189 |
5c20d52c8270
|
| permissions |
-rw-r--r-- |
configure: also detect plain grep
We need just 'grep', and we need to be able to call it with 'grep -E'.
Check for 'grep', and bailout if egrep != grep -E
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>