diff options
author | David Young <dyoung@hdfgroup.org> | 2020-01-13 17:22:34 (GMT) |
---|---|---|
committer | David Young <dyoung@hdfgroup.org> | 2020-01-13 17:22:34 (GMT) |
commit | fe7965d38f818e0c4d0154c0172703fbe71aec8d (patch) | |
tree | d17aced87ad45c1e221cc04d31481078e0e90bf6 /src | |
parent | 16ca8f2c95416a09e437545333b3bb9a2f48d84c (diff) | |
download | hdf5-fe7965d38f818e0c4d0154c0172703fbe71aec8d.zip hdf5-fe7965d38f818e0c4d0154c0172703fbe71aec8d.tar.gz hdf5-fe7965d38f818e0c4d0154c0172703fbe71aec8d.tar.bz2 |
Don't use the bash-ism [[ ]]. Use the [ ], which is standard and
perfectly adequate in this case.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions