diff options
Diffstat (limited to 'hl/tools/gif2h5/Makefile.in')
| -rw-r--r-- | hl/tools/gif2h5/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hl/tools/gif2h5/Makefile.in b/hl/tools/gif2h5/Makefile.in index f8befa4..8cf0b32 100644 --- a/hl/tools/gif2h5/Makefile.in +++ b/hl/tools/gif2h5/Makefile.in @@ -130,6 +130,7 @@ CYGPATH_W = @CYGPATH_W@ DEBUG_PKG = @DEBUG_PKG@ DEFS = @DEFS@ DEPDIR = @DEPDIR@ +DEPRECATED_SYMBOLS = @DEPRECATED_SYMBOLS@ DYNAMIC_DIRS = @DYNAMIC_DIRS@ ECHO = @ECHO@ ECHO_C = @ECHO_C@ |