diff options
Diffstat (limited to 'tools/misc')
| -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 62a6c2a..30fd003 100644 --- a/tools/misc/Makefile.in +++ b/tools/misc/Makefile.in @@ -192,6 +192,7 @@ H5_CFLAGS = @H5_CFLAGS@ H5_CPPFLAGS = @H5_CPPFLAGS@ H5_CXXFLAGS = @H5_CXXFLAGS@ H5_FCFLAGS = @H5_FCFLAGS@ +H5_LONE_COLON = @H5_LONE_COLON@ H5_VERSION = @H5_VERSION@ HADDR_T = @HADDR_T@ HDF5_INTERFACES = @HDF5_INTERFACES@ |