diff options
| -rw-r--r-- | tools/lib/h5diff.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/lib/h5diff.h b/tools/lib/h5diff.h index 999616e..b5fff64 100644 --- a/tools/lib/h5diff.h +++ b/tools/lib/h5diff.h @@ -81,6 +81,10 @@ hsize_t h5diff(const char *fname1, const char *objname1, const char *objname2, diff_opt_t *options); +void print_manager_output(void); +#ifdef H5_HAVE_PARALLEL +void phdiff_dismiss_workers(void); +#endif #ifdef __cplusplus } |