diff --git a/main/editline/configure b/main/editline/configure
index 6132183d5f..5f2adf5705 100755
--- a/main/editline/configure
+++ b/main/editline/configure
@@ -2347,6 +2347,7 @@ s%@BCSRCS@%$BCSRCS%g
 s%@CCSRCS@%$CCSRCS%g
 s%@AGCSRCS@%$AGCSRCS%g
 s%@BGCSRCS@%$BGCSRCS%g
+s%@GREP@%$GREP%g
 s%@HDRS@%$HDRS%g
 s%@IHDRS@%$IHDRS%g
 s%@IHDR_LINKS@%$IHDR_LINKS%g