diff options
author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2022-12-24 05:24:45 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-24 05:24:45 (GMT) |
commit | e783b100d473f0e4f77147f3b89b0a73cb09126a (patch) | |
tree | cd023a8c0e5b3b2e2d27edb92cb40282f4149994 /src | |
parent | 29390b489639af14885064631bb42c216de69984 (diff) | |
download | hdf5-e783b100d473f0e4f77147f3b89b0a73cb09126a.zip hdf5-e783b100d473f0e4f77147f3b89b0a73cb09126a.tar.gz hdf5-e783b100d473f0e4f77147f3b89b0a73cb09126a.tar.bz2 |
Brings HL GIF tools configure changes from develop (#2361)
Diffstat (limited to 'src')
-rw-r--r-- | src/libhdf5.settings.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libhdf5.settings.in b/src/libhdf5.settings.in index 9e95bd3..32c82b9 100644 --- a/src/libhdf5.settings.in +++ b/src/libhdf5.settings.in @@ -75,6 +75,7 @@ Features: Dimension scales w/ new references: @DIMENSION_SCALES_WITH_NEW_REF@ Build HDF5 Tests: @HDF5_TESTS@ Build HDF5 Tools: @HDF5_TOOLS@ + Build GIF Tools: @HDF5_HL_GIF_TOOLS@ Threadsafety: @THREADSAFE@ Default API mapping: @DEFAULT_API_VERSION@ With deprecated public symbols: @DEPRECATED_SYMBOLS@ |