diff options
Diffstat (limited to 'main/editline/configure')
| -rwxr-xr-x | main/editline/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/editline/configure b/main/editline/configure index 6132183d5..5f2adf570 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 |