]> git.ipfire.org Git - thirdparty/curl.git/commit
projects / thirdparty / curl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fec5cd) | patch
configure: use `$EGREP` in place of `grep -E`
authorAlejandro R. Sedeño <asedeno@mit.edu>
Sat, 25 May 2024 16:04:18 +0000 (12:04 -0400)
committerDaniel Stenberg <daniel@haxx.se>
Sat, 25 May 2024 21:46:33 +0000 (23:46 +0200)
commite492834323e1ebf8c5eb8ab6bd80beb681fb449d
tree447eaf4659fd564fd8f38c8b325f73c3890cbaa0tree | snapshot
parent2fec5cd51042f5a9029f45144142d227379214c1commit | diff
configure: use `$EGREP` in place of `grep -E`

`$EGREP` is set based on an earlier test in configure so that we can
work with systems that have `egrep` and a `grep` that does not support
`-E`.

Closes #13780
configure.ac diff | blob | blame | history
Mirror of https://github.com/curl/curl.git