diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2012-01-16 23:37:59 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2012-01-16 23:37:59 (GMT) |
| commit | 887eefec342c052f108973176b414b761e06d0af (patch) | |
| tree | 530370a676a5d256ef4724b092a2ce9abda85caa /Makefile.in | |
| parent | b86899a341a756088e065edbf9c63c6187ff3fb6 (diff) | |
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>
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 5663c83..b74a929 100644 --- a/Makefile.in +++ b/Makefile.in @@ -53,7 +53,7 @@ export mandir := @mandir@ export datarootdir := @datarootdir@ export install := @INSTALL@ export bash := @_BASH@ -export grep := @EGREP@ +export grep := @GREP@ export make := @MAKE@ export sed := @SED@ export libtool := @LIBTOOL@ |