diff options
author | vchoi-hdfgroup <55293060+vchoi-hdfgroup@users.noreply.github.com> | 2022-04-21 17:46:54 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-21 17:46:54 (GMT) |
commit | ff8f512871b72e80c6d602d1539ae70072e18abb (patch) | |
tree | 491c1f08a68d92e400d939d96fefdc7bfef57ddc /bin/restore.sh | |
parent | ff7fe9e9af404591d3d50f3b33d190679529bb10 (diff) | |
parent | 2f86cba3ec7b9f46b84e8cd239a1fee242c15049 (diff) | |
download | hdf5-ff8f512871b72e80c6d602d1539ae70072e18abb.zip hdf5-ff8f512871b72e80c6d602d1539ae70072e18abb.tar.gz hdf5-ff8f512871b72e80c6d602d1539ae70072e18abb.tar.bz2 |
Merge pull request #62 from vchoi-hdfgroup/feature/vfd_swmr
Feature/vfd swmr
Diffstat (limited to 'bin/restore.sh')
-rwxr-xr-x | bin/restore.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/restore.sh b/bin/restore.sh index 47dde11..0597572 100755 --- a/bin/restore.sh +++ b/bin/restore.sh @@ -48,6 +48,9 @@ rm -f bin/missing rm -f bin/test-driver rm -f bin/depcomp +echo "Remove files generated by autoheader" +rm -f src/H5config.h.in + echo "Remove files generated by bin/make_err" rm -f src/H5Epubgen.h rm -f src/H5Einit.h |