diff options
Diffstat (limited to 'tools/misc/Makefile.in')
| -rw-r--r-- | tools/misc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in index 9324626..b40ddd8 100644 --- a/tools/misc/Makefile.in +++ b/tools/misc/Makefile.in @@ -249,6 +249,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@ |