diff options
Diffstat (limited to 'hl/Makefile.in')
| -rw-r--r-- | hl/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hl/Makefile.in b/hl/Makefile.in index 84d4dfc..5f338a3 100644 --- a/hl/Makefile.in +++ b/hl/Makefile.in @@ -195,6 +195,7 @@ DYNAMIC_DIRS = @DYNAMIC_DIRS@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ +EFF = @EFF@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ EXTERNAL_FILTERS = @EXTERNAL_FILTERS@ |